- Universal expansions and determinacy for finitely generated varieties of dp-algebras2012 | Faculty of Mathematics and Physics
- On subquasivarieties of finitely generated varieties of distributive double p-algebras2006 | Faculty of Mathematics and Physics
- On finitely generated varieties of distributive double p-algebras and their subquasivarieties2006 | Faculty of Mathematics and Physics
- Finitely generated varieties of distributive double p-algebras universal modulo a group2004 | Faculty of Mathematics and Physics
- On relative universality and Q-universality of finetely generated varieties of Heyting algebras2011 | Faculty of Mathematics and Physics
- On relative universality and Q-universality2004 | Faculty of Mathematics and Physics
- New Conditions for Taylor Varieties and CSP2010 | Faculty of Mathematics and Physics