Map Genus, Forbidden Maps, and Monadic Second-Order Logic. - Bruno Courcelle; V. Dussaux (Electron. J. Comb., 2002)