Compositional Model-Theoretic Semantics for Logic Programs

Antonio Brogi, Evelina Lamma, Paola Mello. Compositional Model-Theoretic Semantics for Logic Programs. New Generation Comput., 11(1):1-21, 1992.

Abstract

Abstract is missing.