Alexander Langer, Felix Reidl, Peter Rossmanith, Somnath Sikdar. Practical algorithms for MSO model-checking on tree-decomposable graphs. Computer Science Review, 13-14:39-74, 2014. [doi]
@article{LangerRRS14,
title = {Practical algorithms for MSO model-checking on tree-decomposable graphs},
author = {Alexander Langer and Felix Reidl and Peter Rossmanith and Somnath Sikdar},
year = {2014},
doi = {10.1016/j.cosrev.2014.08.001},
url = {http://dx.doi.org/10.1016/j.cosrev.2014.08.001},
researchr = {https://researchr.org/publication/LangerRRS14},
cites = {0},
citedby = {0},
journal = {Computer Science Review},
volume = {13-14},
pages = {39-74},
}