Proof by Consistency in Equational Theories

Published in: LICS (1988)

Keyphrases

equational theories
theorem proving
set intersection
theorem prover
first order logic
artificial intelligence
inference rules
consistency checking
global consistency
linear logic
domain knowledge
general purpose
automated reasoning