A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism | Publicación