
Monadic second-order model-checking on decomposable matroids
Keywords: Matroid representation; Branch-width; Monadic second-order logic; Fixed-parameter complexity; Series-parallel operation; Enumeration