@inproceedings{wolska-etal-2004-annotated,
    title = "An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving",
    author = {Wolska, Magdalena  and
      Vo, Bao Quoc  and
      Tsovaltzi, Dimitra  and
      Kruijff-Korbayov{\'a}, Ivana  and
      Karagjosova, Elena  and
      Horacek, Helmut  and
      Fiedler, Armin  and
      Benzm{\"u}ller, Christoph},
    editor = "Lino, Maria Teresa  and
      Xavier, Maria Francisca  and
      Ferreira, F{\'a}tima  and
      Costa, Rute  and
      Silva, Raquel",
    booktitle = "Proceedings of the Fourth International Conference on Language Resources and Evaluation ({LREC}`04)",
    month = may,
    year = "2004",
    address = "Lisbon, Portugal",
    publisher = "European Language Resources Association (ELRA)",
    url = "https://aclanthology.org/L04-1427/"
}