David Abraham, Liz Crawford, Leanna Lesta, Agathe Merceron, Kalina Yacef. The logic tutor. In Sally Fincher, Bruce J. Klein, Fintan Culwin, Michael McCracken, editors, Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2001, Canterbury, UK, June 25-27, 2001. pages 184, ACM, 2001. [doi]
Abstract is missing.