External Sources of Computation for Answer Set Solvers.

Francesco Calimeri, Giovambattista Ianni

Browse the full LPNMR paper archive.