Export: Automatic compile-time parallelization of logic programs for restricted, goal-level, independent and-parallelism.
Muthukumar, Kalyan and Bueno Carrillo, Francisco and García de la Banda, M. and Hermenegildo, Manuel V. (1999). Automatic compile-time parallelization of logic programs for restricted, goal-level, independent and-parallelism.. "Journal of logic programming", v. 38 (n. 2); pp. 165-218. ISSN 1567-8326. https://doi.org/10.1016/S0743-1066(98)10022-5.
Please select an output format: