Marco Bozzano, Giorgio Delzanno, Maurizio Martelli. A bottom-up semantics for linear logic programs. In PPDP. pages 92-102, 2000. [doi]
@inproceedings{BozzanoDM00,
title = {A bottom-up semantics for linear logic programs},
author = {Marco Bozzano and Giorgio Delzanno and Maurizio Martelli},
year = {2000},
doi = {10.1145/351268.351279},
url = {http://doi.acm.org/10.1145/351268.351279},
tags = {semantics, logic programming, logic},
researchr = {https://researchr.org/publication/BozzanoDM00},
cites = {0},
citedby = {0},
pages = {92-102},
booktitle = {PPDP},
}