Courcelle, B.; Dussaux, V. Map Genus, Forbidden Maps, and Monadic Second-Order Logic. Electron. J. Combin. 2002, 9, R40.