Ramiro Varela Camino R. Vela Jorge Puente Cesar Alonso Parallel Logic Programming for Problem Solving. 275-319 2000 28 International Journal of Parallel Programming 3 db/journals/ijpp/ijpp28.html#VarelaVPA00