A Maximal-Literal Unit Strategy for Horn Clauses.

Nachum Dershowitz A Maximal-Literal Unit Strategy for Horn Clauses. 14-25 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#Dershowitz90