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