@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}
}