Bruno Courcelle
-
An algebraic theory of graph reduction
Journal of the ACM (JACM)
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae