1. Human-readable machine-verifiable proofs for teaching constructive logic;Abel,2001
2. Disproving false conjectures;Autexier,2003
3. Henk Barendregt. Towards an Interactive Mathematical Proof Mode, pages 27–36. In Kamareddine [13], 2003
4. A Wizard-of-Oz experiment for tutorial dialogues in mathematics;Benzmüller,2003
5. Designing Interactive Speech Systems — From First Ideas to User Testing;Bernsen,1998