Maximum renamable Horn sub-CNFs
scientific article; zbMATH DE number 1389862