BibTeX Entry |
@inproceedings{AretoukiLuwdwig99, author = {Aretouki, M. and Ludwig, B.}, title = {Automaton-Descriptions and Theorem-Proving: a marriage made in heaven?}, URL = {http://www.dfki.de/etai/SpecialIssues/Dia99/denecke/ETAI-00/ETAI-00.html}, urlpage = {http://www.dfki.de/etai/SpecialIssues/Dia99/denecke/ETAI-00/ETAI-00.html}, journal = {ETAI: News Journal on Intelligent User Interfaces}, year = {1999}, note = {Special Issue on Intelligent Dialogue Systems edited by Jan Alexandersson, Lars Ahrenberg, Kristiina Jokinen and Arne J{\"o}nsson}, volume = {10} }