An Algebraic Representation of Logic-Program Computations

Andrea Corradini, Ugo Montanari. An Algebraic Representation of Logic-Program Computations. In Computational Logic - Essays in Honor of Alan Robinson. pages 584-612, 1991.

Abstract

Abstract is missing.