Petr Kucera On the size of maximum renamable Horn sub-CNF. 126-130 2005 149 Discrete Applied Mathematics 1-3 http://dx.doi.org/10.1016/j.dam.2004.05.007 db/journals/dam/dam149.html#Kucera05