Complete Symmetry Breaking for Finite Models. - Marek Danco; Mikolás Janota; Michael Codish; João Jorge Araújo (AAAI, 2025)