The expression of graph properties and graph transformations in monadic second-order logic (1997)

by B Courcelle
Venue:Handbook of graph grammars and computing by graph transformations, Vol. 1: Foundations, World Scientific