Paramodulation with Non-Monotonic Orderings.

Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio

Published in: LICS (1999)

Keyphrases

inference rules
theorem proving
first order logic
database
databases
neural network
information retrieval
search engine
theorem prover