Decision Procedures and Model Building in Equational Clause Logic.

Christian G. Fermüller Alexander Leitsch

Published in: Log. J. IGPL (1998)

Keyphrases

decision procedures
automated reasoning
theorem prover
theorem proving
modal logic
horn clauses
first order logic
inference rules
model theoretic
reasoning problems
temporal logic
reasoning tasks
fixpoint
sequent calculi
tight complexity bounds
query containment
search space
quantified boolean formulas