"Ordering-Based Strategies for Horn Clauses."

Nachum Dershowitz (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics