Bruno Courcelle, Igor Walukiewicz. Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems. Annals of Pure and Applied Logic, 92(1):35-62, 1998.
@article{CourcelleW98, title = {Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems}, author = {Bruno Courcelle and Igor Walukiewicz}, year = {1998}, tags = {graph-rewriting, logic, rewriting logic, rewriting}, researchr = {https://researchr.org/publication/CourcelleW98}, cites = {0}, citedby = {0}, journal = {Annals of Pure and Applied Logic}, volume = {92}, number = {1}, pages = {35-62}, }