A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism - Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.; (Lecture Notes In Computer Science, 2008)