E.: Fully Abstract Compositional Semantics for Logic Programs (1989)

by H Gaifman, Shapiro
Venue:In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages