LADR
Library of Automated Deduction Routines
Version December 2004
Top functions
Inference Rules
Formulas and Clauses
Indexing and Unification
Terms
Basic Routines
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.