Ghosh, B., Basu, D. and Meel, K. S. (2021) “Justicia: A Stochastic SAT Approach to Formally Verify Fairness”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(9), pp. 7554-7563. doi: 10.1609/aaai.v35i9.16925.