1. A generalized Goursat lemma;Bauer;Tatra Mt. Math. Publ.,2015
2. Exact and approximate strategies for symmetry reduction in model checking;Donaldson,2006
3. On the constructive orbit problem;Donaldson;Ann. Math. Artif. Intell.,2009
4. Chapter 10 - symmetry in constraint programming;Gent,2006