@article{stein2024exact,
  title = "Probabilistic Programming with Exact Conditions",
  author = "Dario Stein and Sam Staton",
  year = "2024",
  journal = "Journal of the ACM",
  note = "Article 2",
  number = "1",
  volume = "71",
  doi = "10.1145/3632170",
}