TY - JOUR T1 - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals JO - Annals of Pure and Applied Logic UR - https://eprints.whiterose.ac.uk/184436/ PY - 2022/03/04 AU - Hannula M AU - Virtema J ED - DO - DOI: 10.1016/j.apal.2022.103108 PB - Elsevier BV Y2 - 2024/12/22 ER -