Graph rewriting: An algebraic and logic approach (1990)

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