TY  - RPRT
TI  - Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
AU  - Miika Hannula
AU  - Jonni Virtema
PY  - 2021
UR  - https://arxiv.org/abs/2012.12830
ID  - 2012.12830
ER  -