Symmetry definitions for constraint satisfaction problems - Cohen, D; Jeavons, P; Jefferson, C; Petrie, K; Smith, B (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005)