Fully abstract compositional semantics for logic programs (1989)

by H Gaifman, E Shapiro
Venue:In Proc. of ACM POPL '89