The SMT-LIB standard: Version 2.0, 2010, Latest official release of Version 2.0 of the SMT-LIB standard ,
Fast LCF-Style Proof Reconstruction for Z3, ITP'2010, pp.179-194, 2010. ,
DOI : 10.1007/978-3-642-14052-5_14
veriT: an open, trustable and efficient SMTsolver, CADE'09, pp.151-156, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00430634
Proofs and Refutations, and Z3, Proc. of the LPAR 2008 Workshops, volume 418 of CEUR Workshop Proceedings, 2008. ,
Z3: An Efficient SMT Solver, TACAS'08, pp.337-340, 2008. ,
DOI : 10.1007/978-3-540-78800-3_24
Quantifier inference rules for SMT proofs, Workshop on Proof eXchange for Theorem Proving (PxTP), 2011. ,
Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite, PDPAR '05, pp.43-51, 2006. ,
DOI : 10.1016/j.entcs.2005.12.005
Faster Proof Checking in the Edinburgh Logical Framework, CADE-18, pp.392-407, 2002. ,
DOI : 10.1007/3-540-45620-1_32
TSTP Data-Exchange Formats for Automated Theorem Proving Tools, Distributed Constraint Problem Solving and Reasoning in Multi-Agent Systems, pp.201-215, 2004. ,