- Distributive congruence lattices of congruence-permutable algebras2007 | Faculty of Mathematics and Physics
- The equation solvability problem over supernilpotent algebras with Mal'cev term2018 | Faculty of Mathematics and Physics
- Deciding some Maltsev conditions in finite idempotent algebras2020 | Faculty of Mathematics and Physics