An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs

Paqui Lucio, Fernando Orejas, Elvira Pino. An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. Journal of Logic and Algebraic Programming, 40(1):89-124, 1999.

Abstract

Abstract is missing.