The logic tutor. - David Abraham; Liz Crawford; Leanna Lesta; Agathe Merceron; Kalina Yacef (ITiCSE, 2001)

An Intelligent Teaching Assistant System for Logic. - Leanna Lesta; Kalina Yacef (Intelligent Tutoring Systems, 2002)