Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model | Publicación