@inproceedings{GG-Handbook-Vol1-Courcelle,
	author        = "Bruno Courcelle",
	booktitle     = "{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}",
	editor        = "Grzegorz Rozenberg",
	isbn          = "9810228848",
	pages         = "313--400",
	publisher     = "{World Scientific}",
	title         = "{The Expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic}",
	year          = 1997,
}