@InProceedings{C18,
  key =		 {C18},
  author =	 {Christoph Benzm{\"u}ller and Quoc Bao Vo},
  editor =	 {Manuela M. Veloso and Subbarao Kambhampati},
  title =	 {Mathematical Domain Reasoning Tasks in Natural
                  Language Tutorial Dialog on Proofs},
  booktitle =	 {Proceedings, The Twentieth National Conference on
                  Artificial Intelligence and the Seventeenth
                  Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh,
                  Pennsylvania, USA},
  year =	 2005,
  pages =	 {516-522},
  publisher =	 {AAAI Press / The MIT Press},
  url =		 {www.ags.uni-sb.de/~chris/papers/C18.pdf},
  CHRISNOTE =	 {C18},
}