Janota, M.; Chow, C.; Araújo, J.; Codish, M.; Vojtěchovský, P. SAT-Based Techniques for Lexicographically Smallest Finite Models. AAAI 2024, 38, 8048-8056.