@InProceedings{C20,
  key    =       {C20},
  author = 	 {Christoph Benzm{\"u}ller and Helmut Horacek and Henri Lesourd and Ivana Kruijff-Korbayova and Marvin Schiller and Magdalena Wolska},
  title = 	 {A corpus of tutorial dialogs on theorem proving; the influence of the
presentation of the study-material},
  booktitle =	 {Proceedings of International Conference on Language Resources and Evaluation (LREC 2006)},
  year =	 2006,
  publisher =    {ELDA},
  address =	 {Genova, Italy}
}