-
@article{COUR91, author = {Courcelle, Bruno}, doi = {https://doi.org/10.1016/0304-3975(91)90387-H}, issn = {0304-3975}, journal = {Theoretical Computer Science}, number = {2}, pages = {153-202}, sha256 = {5DA72EFD51CBEA53078D9CA979C04F5277659156E7E6CD5E1969431084956993}, title = {The monadic second-order logic of graphs V: on closing the gap between definability and recognizability}, url = {https://www.sciencedirect.com/science/article/pii/030439759190387H}, volume = {80}, year = {1991} }