A parallel ASP instantiator based on DLV.

Simona Perri, Francesco Ricca, Marco Sirianni

Browse the full POPL paper archive.