Inferring non-suspension conditions for logic programs with dynamic scheduling | Publicación