@InProceedings{W26,
  key    =       {W26},
  author = 	 {Christoph Benzm{\"u}ller and Armin Fiedler and Malte Gabsdil and Helmut Horacek and Ivana Kruijff-Korbayova and Dimitra Tsovaltzi and Bao Quoc Vo and Magdalena Wolska},
  title = 	 {Towards  a Principled Approach to Tutoring Mathematical Proofs},
  booktitle =	 {Proceedings of the  Workshop on Expressive Media and Intelligent Tools for Learning, German Conference on AI (KI 2003)},
  year =	 2003,
  address =	 {Hamburg, Germany},
  note = {}
}