Monadic Second Order Finite Satisfiability and Unbounded Tree-Width.

Tomer Kotek, Helmut Veith, Florian Zuleger

Browse the full CSL paper archive.