Simona Perri, Francesco Ricca, Marco Sirianni. A parallel ASP instantiator based on DLV. In Leaf Petersen, Enrico Pontelli, editors, Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010. pages 73-82, ACM, 2010. [doi]
@inproceedings{PerriRS10,
title = {A parallel ASP instantiator based on DLV},
author = {Simona Perri and Francesco Ricca and Marco Sirianni},
year = {2010},
doi = {10.1145/1708046.1708060},
url = {http://doi.acm.org/10.1145/1708046.1708060},
tags = {rule-based},
researchr = {https://researchr.org/publication/PerriRS10},
cites = {0},
citedby = {0},
pages = {73-82},
booktitle = {Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010},
editor = {Leaf Petersen and Enrico Pontelli},
publisher = {ACM},
isbn = {978-1-60558-859-9},
}