Fully Abstract Compositional Semantics for Logic Programs

Haim Gaifman, Ehud Y. Shapiro. Fully Abstract Compositional Semantics for Logic Programs. In POPL. pages 134-142, 1989.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.