Francesco Calimeri Simona Perri Francesco Ricca Experimenting with parallelism for the instantiation of ASP programs. 34-54 2008 63 J. Algorithms 1-3 http://dx.doi.org/10.1016/j.jalgor.2008.02.003 db/journals/jal/jal63.html#CalimeriPR08