PPIG 1999 - 11th Annual Workshop
Desirable features of educational theorem provers - a Cognitive Dimensions viewpoint
Gada Kadoda, Roger Stone, Dan Diaper