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. Available at: https://ojs.aaai.org/index.php/AAAI/article/view/16925 (Accessed: 19August2022).