Lars Schneidenbach Bettina Schnor Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub Experiences Running a Parallel Answer Set Solver on Blue Gene. 64-72 2009 PVM/MPI http://dx.doi.org/10.1007/978-3-642-03770-2_13 conf/pvm/2009 db/conf/pvm/pvm2009.html#SchneidenbachSGKKS09