“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.)