A multisystem-based parallel-interpreter of logic programs with restricted AND-parallelism and OR-parallelism | Publicación