Efficient Deduction in Equality Horn Logic by Horn-Completion.

Robert Nieuwenhuis Pilar Nivela

Published in: Inf. Process. Lett. (1991)

Keyphrases

horn logic
propositional logic
np hard
theorem proving
horn contraction
computational complexity
domain knowledge