1. Aspinall, D.: Proof general kit, white paper (2002), available from: http://www.proofgeneral.org/kit
2. Lecture Notes in Computer Science;A. Bundy,1988
3. Lecture Notes in Artificial Intelligence;M. Kohlhase,2001
4. Meier, A., Melis, E., Pollet, M.: Adaptable mixed-initiative proof planning for educational interaction. Electronic Notes in Theoretical Computer Science (to appear, 2004)
5. Meier, A., Pollet, M., Sorge, V.: Comparing approaches to the exploration of the domain of residue classes. Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems 34(4), 287–306 (2002)