Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions | Publicación