Edmund Soon Lee Lam, Iliano Cervesato. Modeling datalog fact assertion and retraction in linear logic. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 67-78, ACM, 2012. [doi]
@inproceedings{LamC12,
title = {Modeling datalog fact assertion and retraction in linear logic},
author = {Edmund Soon Lee Lam and Iliano Cervesato},
year = {2012},
doi = {10.1145/2370776.2370786},
url = {http://doi.acm.org/10.1145/2370776.2370786},
researchr = {https://researchr.org/publication/LamC12},
cites = {0},
citedby = {0},
pages = {67-78},
booktitle = {Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012},
editor = {Danny De Schreye and Gerda Janssens and Andy King},
publisher = {ACM},
isbn = {978-1-4503-1522-7},
}