Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite” by Sean McLaughlin, Clark Barrett, and Yeting Ge. In Proceedings of the 3^rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR '05), (Alessandro Armando and Alessandro Cimatti, eds.), Jan. 2006, pp. 43-51. Edinburgh, Scotland.

BibTeX entry:

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

(This webpage was created with bibtex2web.)