@inproceedings{claessen-et-al-2011,
  title = "Sort It Out with Monotonicity---{T}ranslating between Many-Sorted and
  Unsorted First-Order Logic",
  author = "Koen Claessen and Ann Lilliestr{\"o}m and Nicholas Smallbone",
  editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
  booktitle = {CADE-23},
  year = 2011,
  series = "LNAI",
  volume = "6803",
  pages = "207--221",
  publisher = "Springer"}

@misc{froc,
  author = {Jasmin Christian Blanchette and Andrei Popescu},
  title = "Mechanizing the Metatheory of Sledgehammer",
  howpublished = "To be presented at FroCoS 2013"}

@inproceedings{blanchette-et-al-2013-types-conf,
  author = {Jasmin Christian Blanchette and Sascha B\"ohme and Andrei Popescu and Nicholas Smallbone},
  title = "Encoding Monomorphic and Polymorphic Types",
  booktitle = "TACAS 2013",
  editor = "Nir Piterman and Scott Smolka",
  publisher = "Springer",
  series = "LNCS",
  pages     = {493--507},
  volume    = {7795},
  year = 2013
}
