Parallel Logic Programming for Problem Solving. - Arias, Ramiro Varela; Vela, Camino Rodríguez; Peinador, Jorge Puente; González, Cesar Alonso (International Journal of Parallel Programming, 2000)