Enrico Pontelli Omar El-Khatib Construction and Optimization of a Parallel Engine for Answer Set Programming. 288-303 2001 conf/padl/2001 PADL http://dx.doi.org/10.1007/3-540-45241-9_20 db/conf/padl/padl2001.html#PontelliE01