“Monadic second-order logic on equivalence relations” (2009) Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics, 99, pp. 25–35. Available at: https://annual.uni-sofia.bg/index.php/fmi/article/view/110 (Accessed: 11 January 2026).