Similar Items: One is all you need: Second-order Unification without First-order Variables
- Efficient Full Higher-Order Unification
- Monadic second-order definable graph orderings
- On the Monadic Second-Order Transduction Hierarchy
- The Complexity of Second-order HyperLTL
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation
- The succinctness of first-order logic on linear orders