Logical features of Horn clauses (0)

by W Hodges
Venue:In