Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
FLOPS, 2001.
@inproceedings{FLOPS-2001-BozzanoDM, author = "Marco Bozzano and Giorgio Delzanno and Maurizio Martelli", booktitle = "{Proceedings of the Fifth International Symposium on Functional and Logic Programming}", doi = "10.1007/3-540-44716-4_9", isbn = "3-540-41739-7", pages = "138--152", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{An Effective Bottom-Up Semantics for First-Order Linear Logic Programs}", volume = 2024, year = 2001, }