B. Courcelle and V. Dussaux, “Map Genus, Forbidden Maps, and Monadic Second-Order Logic”, Electron. J. Combin., vol. 9, no. 1, p. R40, Jun. 2002.