Yishu Wang, Arnaud Mary, Marie-France Sagot, Blerina Sinaimeri: A General Framework for Enumerating Equivalence Classes of Solutions. Algorithmica 85(10): 3003-3023 (2023)