The logic of Horn clauses is equational (1993)

by Razvan Diaconescu
Venue:Programming Research Group, University of Oxford