1. Barnes, T., Stamper, J.: Toward the Extraction of Production Rules for Solving Logic Proofs. In: Proceedings of the 13th International Conference on Artificial Intelligence in Education, Educational Data Mining Workshop (AIED 2007), Marina del Rey, CA (2007)
2. Croy, M.: Problem Solving, Working Backwards, and Graphic Proof Representation. Teaching Philosophy 23, 169–187 (2000)
3. Lecture Notes in Computer Science;M. Croy,2008
4. McGough, J., Mortensen, J., Johnson, J., Fadali, S.: A web-based testing system with dynamic question generation. In: 31st Annual Frontiers in Education Conference, vol. 3, pp. 23–28 (2001)
5. Murray, T.: Authoring Intelligent Tutoring Systems: An analysis of the state of the art. Artificial Intelligence in Education 10, 98–129 (1999)