Ghosh, B.; Basu, D.; Meel, K. S. Algorithmic Fairness Verification With Graphical Models. AAAI 2022, 36, 9539-9548.