An algebraic theory of graph reductions (1993)

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