"Symmetry-Breaking Predicates for Search Problems."

James M. Crawford et al. (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics