@InProceedings{W20,
  key    =       {W20},
  author = 	 {Christoph Benzm{\"u}ller and Armin Fiedler and Malte Gabsdil and Helmut Horacek and Ivana Kruijff-Korbayova and Manfred Pinkal and J{\"o}rg Siekmann and Dimitra Tsovaltzi and Bao Quoc Vo and Magdalena Wolska},
  title = 	 {Tutorial Dialogs on Mathematical Proofs},
  booktitle = 	 {Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems},
  year =	 2003,
  pages =        {12-22},
  address =	 {Acapulco, Mexico},
  chrisnote =	 {W20},
  abstract =	 {},
  url =		 {},
}