1. Aleven, V., McLaren, B., Koedinger, K.: Rapid development of computer-based tutors with the cognitive tutor authoring tools (CTAT). In: Proc. of the Int’l Conf. on Artificial Intelligence in Education, p. 990. IOS Press (2005)
2. Beller, S., Hoppe, U.: Deductive error reconstruction and classification in a logic programming framework. In: Brna, P., Ohlsson, S., Pain, H. (eds.) Proc. of the World Conference on Artificial Intelligence in Education, pp. 433–440 (1993)
3. Chang, K.-E., Lin, M.-L., Chen, S.-W.: Application of the Socratic dialogue on corrective learning of subtraction. Computers & Education 31, 55–68 (1998)
4. Knuth, D.E.: Literate programming. Computer Journal 27(2), 97–111 (1984)
5. Mitrovic, A., Martin, B., Suraweera, P., Zakharov, K., Milik, N., Holland, J., McGuigan, N.: Aspire: An authoring system and deployment environment for constraint-based tutors. Int. J. of Artif. Intell. in Educ. 19(2), 155–188 (2009)