Automatic optimization of dynamic scheduling in logic programs | Publicación