Monadic Second-Order Logic with Arbitrary Monadic Predicates⋆

by Unknown Authors