Similar Items: Width and size of regular resolution proofs
- Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
- The Completeness of Propositional Resolution: A Simple and Constructive Proof
- Monoidal Width
- Twin-width and permutations
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction