@InProceedings{BeKrPiWo2007,
      AUTHOR = {Benzmüller, Christoph and Kruijff-Korbayova, Ivana and Pinkal, Manfred and Wolska, Magdalena},
      TITLE = {Natural language dialog with a tutor system for mathematical proofs},
      YEAR = {2007},
      BOOKTITLE = {Proceedings of the Joint Chinese-German Workshop on Cognitive Systems 2005, Shanghai, China},
      VOLUME = {4429},
      PAGES = {1-14},
      EDITOR = {Lu, Ruqian and Siekmann, Joerg and Ullrich, Carsten},
      SERIES = {Lecture Notes in Artificial Intelligence},
      PUBLISHER = { Springer-Verlag},
      NOTE = {MP}
}