- Finitely related algebras in congruence modular varieties have few subpowers2018 | Faculty of Mathematics and Physics
- Short Definitions in Constraint Languages +12023 | Faculty of Mathematics and Physics
- Existence of cube terms in finite algebras2021 | Faculty of Mathematics and Physics
- Deciding absorption2016 | Faculty of Mathematics and Physics