Proof theory and semantics of logic programs (1989)

by H Gaifman, E Shapiro
Venue:In Proc. Fourth IEEE Symp. on Logic In Computer Science