Non-monotonic Reasoning on Beowulf Platforms. - Enrico Pontelli; Marcello Balduccini; F. Bermudez (PADL, 2003)