Similar Items: Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
- An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
- Quantified Constraints and Containment Problems
- Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- Width and size of regular resolution proofs
- The Completeness of Propositional Resolution: A Simple and Constructive Proof
- Logical compactness and constraint satisfaction problems