Bruno Courcelle

Stefan Arnborg, Bruno Courcelle, Andrzej Proskurowski, and Detlef Seese. An algebraic theory of graph reduction. Journal of the ACM, 40(5):1134-1164, November 1993. References and Citations.