Desirable features of educational theorem provers - a cognitive dimensions viewpoint

@inproceedings{Kadoda1999DesirableFO,
  title={Desirable features of educational theorem provers - a cognitive dimensions viewpoint},
  author={Gada F. Kadoda and Roger G. Stone and Dan Diaper},
  booktitle={PPIG},
  year={1999}
}