Efficient Decision Procedures for Locally Finite Theories II.

Volker Weispfenning

Published in: ISSAC (1988)

Keyphrases

decision procedures
modal logic
databases
automated reasoning
theorem proving
special case
search space