@inproceedings{MBG06,
  author    = "Sean McLaughlin and Clark Barrett and Yeting Ge",
  title     = "Cooperating Theorem Provers: A Case Study Combining {HOL-L}ight and {CVC L}ite",
  booktitle = "Proceedings of the $3^{rd}$ Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR '05)",
  series    = "Electronic Notes in Theoretical Computer Science",
  volume    = "144(2)",
  publisher = "Elsevier",
  editor    = "Alessandro Armando and Alessandro Cimatti",
  pages     = "43--51",
  month     = jan,
  year      = 2006,
  note      = "Edinburgh, Scotland"
}