- Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms2013 | Faculty of Mathematics and Physics
- Congruence distributivity implies bounded width2009 | Faculty of Mathematics and Physics
- Existence of cube terms in finite algebras2021 | Faculty of Mathematics and Physics