Fully Abstract Denotational Semantics for Flat Concurrent Prolog, Weizmann Institute (1988)

by R Gerth, M Codish, Y Lichtenstein, E Shapiro