db/journals/jacm/Lewis78.html Harry R. Lewis Renaming a Set of Clauses as a Horn Set. 134-135 1978 25 J. ACM 1 http://doi.acm.org/10.1145/322047.322059 db/journals/jacm/jacm25.html#Lewis78