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

Published in: J. Log. Program. (1999)

Keyphrases