- Disjoint essential sets of implicates of a CQ Horn function2011 | Faculty of Mathematics and Physics
- Disjoint essential sets of implicates of a CQ Horn function.2009 | Faculty of Mathematics and Physics
- Boolean functions with a simple certificate for CNF complexity2012 | Faculty of Mathematics and Physics