- Z distributivity kongruencí vyplývá kone čná šířka2009 | Matematicko-fyzikální fakulta
- Finitely Related Algebras in Congruence Distributive Varieties Have Near Unanimity Terms2013 | Matematicko-fyzikální fakulta
- Deciding absorption in relational structures2017 | Matematicko-fyzikální fakulta
- Deciding absorption2016 | Matematicko-fyzikální fakulta
- Existence of cube terms in finite algebras2021 | Matematicko-fyzikální fakulta