@article{AretoulakiLudwig99,
  author	= {Aretoulaki, Maria and Ludwig, Bernd},
  title		= {Automaton-Descriptions and Theorem-Proving: a marriage made in heaven?},
  journal	= {Link{\"o}ping Electronic Articles in Computer and Information Science},
  year		= {1999},
  volume	= {X},
  URL		= {http://www.ep.liu.se/ea/cis/1999/},
  urlpage	= {http://www.ep.liu.se/ea/cis/1999/}
}