Markus Frick, Martin Grohe
Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs
ICALP, 1999.
@inproceedings{ICALP-1999-FrickG, author = "Markus Frick and Martin Grohe", booktitle = "{Proceedings of the 26th International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-48523-6_30", isbn = "3-540-66224-3", pages = "331--340", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs}", volume = 1644, year = 1999, }