Substitution and Refutation Revisited.

Hai-Ping Ko Mark E. Nadel

Published in: ICLP (1991)

Keyphrases

theorem proving
theorem prover
automated theorem proving
inductive inference
graphical models
expert systems
databases
data model
rough sets
inference rules
classical logic