First-Order and Monadic Second-Order Model-Checking on Ordered Structures. - Viktor Engelmann; Stephan Kreutzer; Sebastian Siebertz (LICS, 2012)

Directed elimination games. - Viktor Engelmann; Sebastian Ordyniak; Stephan Kreutzer (Discret. Appl. Math., 2016)