Georgiev, G.; Tinchev, T. Monadic Second-Order Logic on Equivalence Relations. Ann. Sofia Univ. Fac. Math. and Inf. 2009, 99, 25-35.