Fully Abstract Compositional Semantics for Logic Programs.

Haim Gaifman, Ehud Shapiro

Browse the full POPL paper archive.