A fast algorithm for renaming a set of clauses as a Horn set

Reference:

Heikki Mannila and K. Mehlhorn. A fast algorithm for renaming a set of clauses as a horn set. Information Processing Letters, 21:269–272, 1985.

Suggested BibTeX entry:

@article{mannilamehlhorn,
    author = {Heikki Mannila and K. Mehlhorn},
    journal = {Information Processing Letters},
    pages = {269-272},
    title = {A fast algorithm for renaming a set of clauses as a Horn set},
    volume = {21},
    year = {1985},
}