@InProceedings{Berghofer:TPHOLs2009-147,
  author =       "Stefan Berghofer and Markus Reiter",
  title =        "Formalizing the Logic-Automaton Connection",
  pages =        "147--163",
  ee =           "http://dx.doi.org/10.1007/978-3-642-03359-9_12",
  editor =       "Stefan Berghofer and Tobias Nipkow and Christian Urban and Markus Wenzel",
  booktitle =    "Theorem Proving in Higher Order Logics (TPHOLs 2009)",
  address =      "Munich, Germany",
  year =         "2009",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5674",
}