Janota, Mikoláš, Choiwah Chow, João Araújo, Michael Codish, and Petr Vojtěchovský. 2024. “SAT-Based Techniques for Lexicographically Smallest Finite Models”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):8048-56. https://doi.org/10.1609/aaai.v38i8.28643.