Similar Items: Expansions of MSO by cardinality relations
- The complexity of global cardinality constraints
- Optimizing tree decompositions in MSO
- Reasoning with Finite Sets and Cardinality Constraints in SMT
- Undecidability of a weak version of MSO+U
- Recursion Schemes, the MSO Logic, and the U quantifier
- A decidable weakening of Compass Logic based on cone-shaped cardinal directions