Janota, M., Chow, C., Araújo, J., Codish, M., & Vojtěchovský, P. (2024). SAT-Based Techniques for Lexicographically Smallest Finite Models. Proceedings of the AAAI Conference on Artificial Intelligence, 38(8), 8048–8056. https://doi.org/10.1609/aaai.v38i8.28643