Gilles Dowek Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:1-22 [Conf]

Alexander Leitsch Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:62-79 [Conf]

Claus-Peter Wirth Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized delta-Rule but without Skolemization. [Citation Graph (0, 0)][DBLP] FTP (LNCS Selection), 1998, pp:282-297 [Conf]

NOTICE1

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2

The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP