@InProceedings{Boehme:IJCAR2010-,
  author =       "Sascha B{\"o}hme and Tobias Nipkow",
  title =        "Sledgehammer: {Judgement} Day",
  editor =       "J{\"u}rgen Giesl and Reiner H{\"a}hnle",
  booktitle =    "Automated Reasoning (IJCAR 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  note =         "To appear.",
}