Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism.

Kalyan Muthukumar, Manuel V. Hermenegildo

Browse the full ICLP paper archive.