Francesco Calimeri Giovambattista Ianni External Sources of Computation for Answer Set Solvers. 105-118 2005 conf/lpnmr/2005 LPNMR http://dx.doi.org/10.1007/11546207_9 db/conf/lpnmr/lpnmr2005.html#CalimeriI05