"The Monadic Second-Order Logic of Graphs VIII: Orientations."

Bruno Courcelle (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics