TY  - RPRT
TI  - An Effective Fixpoint Semantics for Linear Logic Programs
AU  - Marco Bozzano
AU  - Giorgio Delzanno
AU  - Maurizio Martelli
PY  - 2001
UR  - https://arxiv.org/abs/cs/0102025
ID  - cs/0102025
ER  -