Christoph Benzmüller, 
   Armin Fiedler, 
   Malte Gabsdil, 
   Helmut Horacek, 
   Ivana Korbayova, 
   Dimitra Tsovaltzi, 
   Bao Quoc Vo and 
   Magdalena Wolska. Towards a Principled Approach to Tutoring Mathematical Proofs.  In 
   Andreas Harrer and 
   Katrin Gaßner editors,  Proceedings of the KI-03 Workshop on Expressive Media and Intelligent Tools for Learning, Hamburg, Germany,   2003.      google
     |