Basic Paramodulation

Leo Bachmair Harald Ganzinger Christopher Lynch Wayne Snyder

Published in: Inf. Comput. (1995)

Keyphrases

inference rules
theorem proving
first order logic
modal logic
artificial intelligence
decision procedures
special case
query processing
np complete
automated reasoning