@InProceedings{Berghofer:TPHOLs2009-131,
  author =       "Stefan Berghofer and Lukas Bulwahn and Florian Haftmann",
  title =        "Turning Inductive Into Equational Specifications",
  pages =        "131--146",
  ee =           "http://dx.doi.org/10.1007/978-3-642-03359-9_11",
  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",
}