Bisimulation invariant monadic-second order logic in the finite. - Blumensath, Achim; Wolf, Felix (Theoretical Computer Science, 2020)