First-Order and Monadic Second-Order Model-Checking on Ordered Structures.

Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz

Browse the full LICS paper archive.