@misc{indiciaeb21af967b6cd,
  title = {Conditional probability logic, lifted bayesian networks and almost sure quantifier elimination},
  author = {Vera Koponen},
  year = {2021},
  url = {https://arxiv.org/abs/2004.01649},
  note = {Source identifier: 2004.01649}
}