@inproceedings{benzmuller-etal-2006-corpus,
    title = "A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material",
    author = {Benzm{\"u}ller, Christoph  and
      Horacek, Helmut  and
      Lesourd, Henri  and
      Kruijff-Korbayova, Ivana  and
      Schiller, Marvin  and
      Wolska, Magdalena},
    editor = "Calzolari, Nicoletta  and
      Choukri, Khalid  and
      Gangemi, Aldo  and
      Maegaard, Bente  and
      Mariani, Joseph  and
      Odijk, Jan  and
      Tapias, Daniel",
    booktitle = "Proceedings of the Fifth International Conference on Language Resources and Evaluation ({LREC}{'}06)",
    month = may,
    year = "2006",
    address = "Genoa, Italy",
    publisher = "European Language Resources Association (ELRA)",
    url = "https://preview.aclanthology.org/fix-sig-urls/L06-1486/"
}