@misc{misc, title = {{Descriptive complexity of real computation and probabilistic independence logic}}, url = {{http://dx.doi.org/10.1145/3373718.3394773 }}, year = {{2020}}, month = {{3}}, author = {{Hannula M and Kontinen J and Bussche JVD and Virtema J}}, note = {{Accessed on 2025/05/24}}}