@InProceedings{Boehme:ITP2010-,
  author =       "Sascha B{\"o}hme and Tjark Weber",
  title =        "Fast {LCF}-Style Proof Reconstruction for {Z3}",
  editor =       "Matt Kaufmann and Lawrence Paulson and Michael
                 Norrish",
  booktitle =    "Interactive Theorem Proving (ITP 2010)",
  address =      "Edinburgh, UK",
  year =         "2010",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  note =         "To appear.",
}