An algebraic theory of graph reduction (1993)

by S Arnborg, B Courcelle, A Proskurowski, D Seese
Venue:J. of ACM