And-Or parallel Prolog: A recomputation based approach | Publicación