Safety and compilation of non-recursive horn-clauses (1986)

by C Zaniolo
Venue:In Proc. First Intl. conf. on Expert Database Systems