Simona Perri Francesco Ricca Marco Sirianni A parallel ASP instantiator based on DLV. 73-82 2010 DAMP http://doi.acm.org/10.1145/1708046.1708060 conf/popl/2010damp db/conf/popl/damp2010.html#PerriRS10