OPS (Otter Parts Store)

Semantics Inference Rules Formulas and Clauses Indexing and Unification Terms Basic stuff
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.