Reasoning about Student Knowledge and Reasoning. - Luigia Carlucci Aiello; Maria Cialdea; Daniele Nardi (IJCAI, 1991)