@InProceedings{Boehme:SMT2009-,
  author =       "Sascha B{\"o}hme",
  title =        "Proof Reconstruction for {Z3} in {Isabelle/HOL}",
  booktitle =    "Workshop on Satisfiability Modulo Theories (SMT
                 2009)",
  year =         "2009",
  ee =           "http://www4.in.tum.de/~boehmes/proof-reconstruction.htm%6c",
  URL =          "http://www4.in.tum.de/~boehmes/proofrec.pdf",
}