1. S Colton.Automated Theory ormation in Pure Mathematics. PhD thesis,Division of Informatics,University of Edinburgh,2001.
2. S Colton, A Bundy,and T Walsh.HR:Automatic concept formation in pure mathematics. In Proceddings of the 16th IJCAI,pages 786–791,1999.
3. S Colton and I Miguel.Automatic generation of implied and induced constraints. Te hnical Report APES-32-2001,APES Research Group,2001. Available from
http://www.dcs.st-and.ac.uk/~apes/apesreports.html
.
4. J Crawford. A theoretical analysis of reasoning by symmetry in first-order logic. In Proceedings of the Workshop on Tractable Reasoning,AAAI, 1992.
5. A Frisch, I Miguel,and T Walsh.Extensions to proof planning for generating implied constraints. In Proceedings of the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2001.