Petr Hlinený, Detlef Seese. On Decidability of MSO Theories of Representable Matroids. In Rodney G. Downey, Michael R. Fellows, Frank K. H. A. Dehne, editors, Parameterized and Exact Computation, First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004, Proceedings. Volume 3162 of Lecture Notes in Computer Science, pages 96-107, Springer, 2004. [doi]
Abstract is missing.