- Definability in Substructure Orderings, II: Finite Ordered Sets2010 | Faculty of Mathematics and Physics
- Definability in substructure orderings, I: finite semilattices2009 | Faculty of Mathematics and Physics
- Definability in substructure orderings, IV: finite lattices2009 | Faculty of Mathematics and Physics
- Definability in substructure orderings, III: finite distributive lattices2009 | Faculty of Mathematics and Physics
- Definition initial values of a biological system.1999 | Faculty of Physical Education and Sport
- Quasivarieties with Definable Relative Principal Subcongruences2009 | Faculty of Mathematics and Physics
