@InProceedings{C14,
  key    =       {C14},
  author = 	 {M. Wolska and B. Quoc Vo and D. Tsovaltzi and I. Kruijff-Korbayova and E. Karagjosova and H. Horacek and M. Gabsdil and A. Fiedler and C. Benzm{\"u}ller},
  title = 	 {An annotated corpus of tutorial dialogs on mathematical theorem proving},
  booktitle =	 {Proceedings of International Conference on Language Resources and Evaluation (LREC 2004)},
  year =	 2004,
  publisher =    {ELDA},
  address =	 {Lisbon, Portugal}
}