On hierarchies over the SLUR class. - Václav Vlcek; Tomás Balyo; Stefan Gurský; Petr Kucera (ISAIM, 2012)

Complexity issues related to propagation completeness. - Martin Babka; Tomás Balyo; Ondrej Cepek; Stefan Gurský; Petr Kucera; Václav Vlcek (Artif. Intell., 2013)

On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas. - Ondrej Cepek; Stefan Gurský (ISAIM, 2014)

On Minimum Representations of Matched Formulas. - Ondrej Cepek; Stefan Gurský; Petr Kucera (J. Artif. Intell. Res., 2014)

On Minimum Representations of Matched Formulas (Extended Abstract). - Ondrej Cepek; Stefan Gurský; Petr Kucera (IJCAI, 2017)