Parallelism and implementation of logic and constraint logic programming by Manuel Carro | Menrva Books | MenrvaBooks