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