Independent AND-parallel implementation of narrowing | Publicación