Christoph Benzmüller Helmut Horacek Ivana Kruijff-Korbayová Manfred Pinkal Jörg H. Siekmann Magdalena Wolska Natural Language Dialog with a Tutor System for Mathematical Proofs. 1-14 2005 conf/cogsys/2005 Cognitive Systems http://dx.doi.org/10.1007/978-3-540-70934-3_1 db/conf/cogsys/cogsys2005.html#BenzmullerHKPSW05