@InCollection{B7,
  key =		 {B07},
  author =	 {Christoph Benzm{\"u}ller and  Helmut Horacek and Ivana Kruijff-Korbayova and Manfred Pinkal and J{\"o}rg Siekmann and Magdalena Wolska},
  editor =       {Ruqian Lu and J{\"o}rg Siekmann and Carsten Ullrich},  
  chapter =	 {Natural Language Dialog with a Tutor System for Mathematical Proofs},
  booktitle =    {Cognitive Systems},
  url =          {www.ags.uni-sb.de/~chris/papers/C24.pdf},
  publisher =    {Springer},
 series = {LNCS},
 volume = 4429,
 pages = {1-14},
  year =	 2007,
}