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

Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics