Combining Decision Procedures for Sorted Theories.

Cesare Tinelli Calogero G. Zarba

Published in: JELIA (2004)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
model theoretic
conjunctive queries
tight complexity bounds
inference rules
optimal solution
query answering
satisfiability problem
query containment