Georgiev, G. and Tinchev, T. 2009. Monadic second-order logic on equivalence relations. Ann. Sofia Univ. Fac. Math. and Inf. 99, (Dec. 2009), 25–35.