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