COURCELLE, B.; DUSSAUX, V. Map Genus, Forbidden Maps, and Monadic Second-Order Logic. The Electronic Journal of Combinatorics, v. 9, n. 1, p. R40, 8 Jun. 2002.