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