2009. Monadic second-order logic on equivalence relations. Annual of Sofia University St. Kliment Ohridski. Faculty of Mathematics and Informatics. 99, (Dec. 2009), 25–35.