Map genus, forbidden maps, and monadic second-order logic. Courcelle, B.; Dussaux, V. — 2002 The Electronic Journal of Combinatorics [electronic only]