Courcelle, B., and V. Dussaux. 2002. “Map Genus, Forbidden Maps, and Monadic Second-Order Logic”. The Electronic Journal of Combinatorics 9 (1), R40. https://doi.org/10.37236/1656.