Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications.

Bruno Courcelle Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications. 19-22 2009 LATA http://dx.doi.org/10.1007/978-3-642-00982-2_2 conf/lata/2009 db/conf/lata/lata2009.html#Courcelle09