Flexible scheduling for non-deterministic, and-parallel execution of logic programs | Publicación