Georgiev, G., & Tinchev, T. (2009). Monadic second-order logic on equivalence relations. Ann. Sofia Univ. Fac. Math. And Inf., 99, 25–35. Retrieved from https://annual.uni-sofia.bg/index.php/fmi/article/view/110