Comparison of Natural Deduction and Locking Resolution Implementations.

Steven Greenbaum A. Nagasaka Paul O'Rorke David A. Plaisted

Published in: CADE (1982)

Keyphrases

natural deduction
high resolution
theorem prover
inference rules
sequent calculus
database
multiresolution
low resolution
data objects
theorem proving