Graph rewriting: An algebraic and logic approach (1990)

by B Courcelle
Venue:Handbook of Theoretical Computer Science, volume B, chapter 5