On Renaming a Set of Clauses as a Horn Set. - G. Lindhorst; Farhad Shahrokhi (Inf. Process. Lett., 1989)