Complete evaluation of Horn Clauses, an automata theoretic approach (1988)

by B Lang