Fully abstract compositional semantics for logic programming (1989)

by Haim Gaifman, Ehud Shapiro
Venue:In 16th Annual ACM Symposium on Principles of Logic Programming