Cooperating theorem provers: A case study combining HOL-Light and CVC Lite (2006)

by Sean Mclaughlin, Clark Barrett, Yeting Ge
Venue:In Proc. 3 rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR ’05), volume 144(2) of Electronic Notes in Theoretical Computer Science