An effective fixpoint semantics for linear logic programs.

Marco Bozzano Giorgio Delzanno Maurizio Martelli An effective fixpoint semantics for linear logic programs. 85-122 2002 2 TPLP 1 db/journals/tplp/tplp2.html#BozzanoDM02