B. Ghosh, D. Basu, and K. S. Meel, “Algorithmic Fairness Verification with Graphical Models”, AAAI, vol. 36, no. 9, pp. 9539-9548, Jun. 2022.