Reducing time by avoiding process serialisations in or-parallel interpretation of logic programs | Publicación