The logic of Horn clauses is equational (1993)

by R Diaconescu