TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism, Automated Deduction?CADE-24, pp.414-420, 2013. ,
DOI : 10.1007/978-3-642-38574-2_29
URL : https://hal.archives-ouvertes.fr/hal-00825086
Detection of First Order Axiomatic Theories, Frontiers of Combining Systems, pp.229-244, 2013. ,
DOI : 10.1007/978-3-642-40885-4_16
URL : https://hal.archives-ouvertes.fr/hal-00919759
The saturate system, 1998. ,
The coq proof assistant. A Tutorial. Version, 1997. ,
URL : https://hal.archives-ouvertes.fr/inria-00070034
iProver ??? An Instantiation-Based Theorem Prover for First-Order Logic (System Description), Proceedings of the 4th international joint conference on Automated Reasoning , IJCAR '08, pp.292-298, 2008. ,
DOI : 10.1007/978-3-540-71070-7_24
Prover9 and mace4, pp.2005-2010 ,
OTTER 3.0 Reference Manual and Guide, 1995. ,
DOI : 10.2172/10129052
Dedam: A kernel of data structures and algorithms for automated deduction with equality clauses, Lecture Notes in Computer Science, vol.1249, pp.49-52, 1997. ,
DOI : 10.1007/3-540-63104-6_5
Computing Small Clause Normal Forms, pp.335-367 ,
DOI : 10.1016/B978-044450813-3/50008-4
Term indexing, pp.1853-1964 ,
Vampire 1.1 (system description), Proceedings of the First International Joint Conference on Automated Reasoning, IJCAR '01, pp.376-380, 2001. ,
E -a brainiac theorem prover, AI Commun, vol.15, issue.23, pp.111-126, 2002. ,
Simple and Efficient Clause Subsumption with Feature Vector Indexing, Proc. of the IJCAR-2004 Workshop on Empirically Successful First-Order Theorem Proving, 2004. ,
DOI : 10.1007/BF00881918
Fingerprint Indexing for Paramodulation and Rewriting, Automated Reasoning, pp.477-483, 2012. ,
DOI : 10.1007/978-3-642-31365-3_37
The TPTP Problem Library and Associated Infrastructure, Journal of Automated Reasoning, vol.13, issue.2, pp.337-362, 2009. ,
DOI : 10.1007/s10817-009-9143-8
System Description: Spass Version 3.0, Automated Deduction CADE-21, pp.514-520, 2007. ,
DOI : 10.1007/978-3-540-73595-3_38
URL : http://hdl.handle.net/11858/00-001M-0000-000F-36E6-F