Bruno Courcelle. Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey. Electronic Notes in Theoretical Computer Science, 51:122-126, 2001. [doi]
@article{Courcelle01,
title = {Graph Operations, Graph Transformations and Monadic Second-Order Logic: a survey},
author = {Bruno Courcelle},
year = {2001},
url = {http://www.elsevier.com/gej-ng/31/29/23/116/25/show/Products/notes/index.htt#007},
tags = {graph transformation, graph-rewriting, survey, logic, higher-order transformations, rewriting logic, rewriting, transformation},
researchr = {https://researchr.org/publication/Courcelle01},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {122-126},
}