Selvam, N. R.; Van den Broeck, G.; Choi, Y. Certifying Fairness of Probabilistic Circuits. AAAI 2023, 37, 12278-12286.