1. Lect Notes Comput Sci;R. Backofen,1999
2. J. Crawford, ‘A theoretical analysis of reasoning by symmetry in first-order logic’, Proc. AAAI’92 workshop on tractable reasoning, (1992).
3. J. Crawford, G. Luks, M. Ginsberg, and A. Roy, ‘Symmetry breaking predicates for search problems’, Proc. KR’96, 5th Int. Conf. on Knowledge Representation and Reasoning, pp. 148–159, (1996).
4. Lect Notes Comput Sci;T. Fahle,2001
5. P. Flener, A. M. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh, ‘Symmetry in matrix models’, Proc. SymCon’01, CP’01 Workshop on Symmetry in Constraint Satisfaction Problems, (2001). Also technical report APES-36-2001 from
http://www.dcs.st-and.ac.uk/~apes/reports/apes-36-2001.ps.gz.