Resolution Strategies as Decision Procedures.

William H. Joyner Jr.

Published in: J. ACM (1976)

Keyphrases

decision procedures
modal logic
theorem proving
automated reasoning
reasoning problems
conjunctive queries
inference rules
quantified boolean formulas
computational complexity