Ghosh, B., Basu, D., & Meel, K. S. (2022). Algorithmic Fairness Verification with Graphical Models. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 9539-9548. https://doi.org/10.1609/aaai.v36i9.21187