A bottom-up semantics for linear logic programs

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. A bottom-up semantics for linear logic programs. In PPDP. pages 92-102, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: