@unpublished{R28,
  Author =	 {Manfred Pinkal and J{\"o}rg Siekmann and Christoph
                  Benzm{\"u}ller},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems},
  Note =	 {Project report in the Collaborative Research Centre
                  SFB 378 on Resource-adaptive Cognitive Processes},
  Pages =	 {1-24},
  Title =	 {DIALOG: Tutorial Dialog with an Assistance System
                  for Mathematics},
  url = {http://christoph-benzmueller.de/papers/R28.pdf},
  Year =	 2004,
}

{"_id":"545Kx8uXPtouCGsbm","bibbaseid":"pinkal-siekmann-benzmller-dialogtutorialdialogwithanassistancesystemformathematics-2004","author_short":["Pinkal, M.","Siekmann, J.","Benzmüller, C."],"bibdata":{"bibtype":"unpublished","type":"unpublished","author":[{"firstnames":["Manfred"],"propositions":[],"lastnames":["Pinkal"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"keywords":"own, DIALOG, Proof Presentation, Natural Language Dialog, Proof Assistants, Tutoring Systems","note":"Project report in the Collaborative Research Centre SFB 378 on Resource-adaptive Cognitive Processes","pages":"1-24","title":"DIALOG: Tutorial Dialog with an Assistance System for Mathematics","url":"http://christoph-benzmueller.de/papers/R28.pdf","year":"2004","bibtex":"@unpublished{R28,\n Author =\t {Manfred Pinkal and J{\\\"o}rg Siekmann and Christoph\n Benzm{\\\"u}ller},\n Keywords =\t {own, DIALOG, Proof Presentation, Natural Language\n Dialog, Proof Assistants, Tutoring Systems},\n Note =\t {Project report in the Collaborative Research Centre\n SFB 378 on Resource-adaptive Cognitive Processes},\n Pages =\t {1-24},\n Title =\t {DIALOG: Tutorial Dialog with an Assistance System\n for Mathematics},\n url = {http://christoph-benzmueller.de/papers/R28.pdf},\n Year =\t 2004,\n}\n\n","author_short":["Pinkal, M.","Siekmann, J.","Benzmüller, C."],"key":"R28","id":"R28","bibbaseid":"pinkal-siekmann-benzmller-dialogtutorialdialogwithanassistancesystemformathematics-2004","role":"author","urls":{"url":"http://christoph-benzmueller.de/papers/R28.pdf"},"keyword":["own","DIALOG","Proof Presentation","Natural Language Dialog","Proof Assistants","Tutoring Systems"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"unpublished","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","dialog","proof presentation","natural language dialog","proof assistants","tutoring systems"],"search_terms":["dialog","tutorial","dialog","assistance","system","mathematics","pinkal","siekmann","benzmüller"],"title":"DIALOG: Tutorial Dialog with an Assistance System for Mathematics","year":2004}