TY  - RPRT
TI  - Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination
AU  - Vera Koponen
PY  - 2021
UR  - https://arxiv.org/abs/2004.01649
ID  - 2004.01649
ER  -