M. Dančo, M. Janota, M. Codish, and J. J. Araújo, “Complete Symmetry Breaking for Finite Models”, AAAI, vol. 39, no. 11, pp. 11194-11202, Apr. 2025.