M. Janota, C. Chow, J. Araújo, M. Codish, and P. Vojtěchovský, “SAT-Based Techniques for Lexicographically Smallest Finite Models”, AAAI, vol. 38, no. 8, pp. 8048-8056, Mar. 2024.