Renaming a set of non-Horn clauses
scientific article; zbMATH DE number 1533041