Ondrej Cepek, Petr Kucera Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2005, v:149, n:1-3, pp:14-52 [Journal]
Petr Kucera On the size of maximum renamable Horn sub-CNF. [Citation Graph (0, 0)][DBLP] Discrete Applied Mathematics, 2005, v:149, n:1-3, pp:126-130 [Journal]