@article{Kneis_2011,
    doi = {10.1016/j.disopt.2011.06.001},
    url = {https://doi.org/10.1016%2Fj.disopt.2011.06.001},
    year = {2011},
    month = {nov},
    publisher = {Elsevier {BV}},
    volume = {8},
    number = {4},
    pages = {568--594},
    author = {Joachim Kneis and Alexander Langer and Peter Rossmanith},
    title = {Courcelle's theorem-A game-theoretic approach},
    journal = {Discrete Optimization}
}

@article{Kneis_2011, doi = {10.1016/j.disopt.2011.06.001}, url = {https://doi.org/10.1016%2Fj.disopt.2011.06.001}, year = {2011}, month = {nov}, publisher = {Elsevier {BV}}, volume = {8}, number = {4}, pages = {568--594}, author = {Joachim Kneis and Alexander Langer and Peter Rossmanith}, title = {Courcelle's theorem-A game-theoretic approach}, journal = {Discrete Optimization} }