1. Short proofs for tricky formulas;Krishnamurthy;Acta Inform.,1985
2. A theoretical analysis of reasoning by symmetry in first-order logic;Crawford,1992
3. Symmetry-breaking predicates for search problems;Crawford,1996
4. Solving difficult instances of boolean satisfiability in the presence of symmetry;Aloul;EEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2003
5. Theoretical study of symmetries in propositional calculus and applications;Benhamou,1992