arXiv 2003-09-01 EN Model Checking Linear Logic Specifications Bozzano, M. · Delzanno, G. · Martelli, M.
arXiv 2001-02-23 EN An Effective Fixpoint Semantics for Linear Logic Programs Bozzano, Marco · Delzanno, Giorgio · Martelli, Maurizio
