@techreport{R35,
  Author =	 {Mark Buckley and Christoph Benzm{\"u}ller},
  Institution =	 {Saarland University, SEKI Publications (ISSN
                  1437-4447)},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Agents, System
                  Integration},
  Number =	 {SR-04-01},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {A Dialogue Manager for the DIALOG Demonstrator},
  Type =	 {SEKI Report},
  url_preprint = {http://christoph-benzmueller.de/papers/R35.pdf},
  Year =	 2004,
  doi = {10.22028/D291-41449},
}

{"_id":"7sof5ntgGn2GxwTxw","bibbaseid":"buckley-benzmller-adialoguemanagerforthedialogdemonstrator-2004","author_short":["Buckley, M.","Benzmüller, C."],"bibdata":{"bibtype":"techreport","type":"SEKI Report","author":[{"firstnames":["Mark"],"propositions":[],"lastnames":["Buckley"],"suffixes":[]},{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]}],"institution":"Saarland University, SEKI Publications (ISSN 1437-4447)","keywords":"own, DIALOG, Proof Presentation, Natural Language Dialog, Proof Assistants, Agents, System Integration","number":"SR-04-01","publisher":"SEKI Publications (ISSN 1437-4447)","title":"A Dialogue Manager for the DIALOG Demonstrator","url_preprint":"http://christoph-benzmueller.de/papers/R35.pdf","year":"2004","doi":"10.22028/D291-41449","bibtex":"@techreport{R35,\n Author =\t {Mark Buckley and Christoph Benzm{\\\"u}ller},\n Institution =\t {Saarland University, SEKI Publications (ISSN\n 1437-4447)},\n Keywords =\t {own, DIALOG, Proof Presentation, Natural Language\n Dialog, Proof Assistants, Agents, System\n Integration},\n Number =\t {SR-04-01},\n Publisher =\t {SEKI Publications (ISSN 1437-4447)},\n Title =\t {A Dialogue Manager for the DIALOG Demonstrator},\n Type =\t {SEKI Report},\n url_preprint = {http://christoph-benzmueller.de/papers/R35.pdf},\n Year =\t 2004,\n doi = {10.22028/D291-41449},\n}\n\n","author_short":["Buckley, M.","Benzmüller, C."],"key":"R35","id":"R35","bibbaseid":"buckley-benzmller-adialoguemanagerforthedialogdemonstrator-2004","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/R35.pdf"},"keyword":["own","DIALOG","Proof Presentation","Natural Language Dialog","Proof Assistants","Agents","System Integration"],"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","dialog","proof presentation","natural language dialog","proof assistants","agents","system integration"],"search_terms":["dialogue","manager","dialog","demonstrator","buckley","benzmüller"],"title":"A Dialogue Manager for the DIALOG Demonstrator","year":2004}