Fully Abstract Composition Semantics for an Algebra of Logic Programs

Antonio Brogi, Franco Turini. Fully Abstract Composition Semantics for an Algebra of Logic Programs. Theoretical Computer Science, 149(2):201-209, 1995. [doi]

Abstract

Abstract is missing.