@misc{indiciae7e4fc7c0fb0a, title = {Courcelle's theorem for triangulations}, author = {Benjamin A. Burton and Rodney G. Downey}, year = {2014}, url = {https://arxiv.org/abs/1403.2926}, note = {Source identifier: 1403.2926} }