Trees, grids, and MSO decidability: From graphs to matroids

Petr Hlinený, Detlef Seese. Trees, grids, and MSO decidability: From graphs to matroids. Theoretical Computer Science, 351(3):372-393, 2006. [doi]

Abstract

Abstract is missing.