@misc{indiciaedb059b1d2f88, title = {Courcelle's Theorem - A Game-Theoretic Approach}, author = {Joachim Kneis and Alexander Langer and Peter Rossmanith}, year = {2011}, url = {https://arxiv.org/abs/1104.3905}, note = {Source identifier: 1104.3905} }