N. R. Selvam, G. Van den Broeck, and Y. Choi, “Certifying Fairness of Probabilistic Circuits”, AAAI, vol. 37, no. 10, pp. 12278-12286, Jun. 2023.