A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Browse the full ICLP paper archive.