Proving equational Horn clauses (1988)

by N Dershowitz