Probabilistic programming with exact conditions - Stein, D; Staton, S (Journal of the ACM, 2024)