J. Briat;M. Favre;C. Geyer;J. Chassin de Kergommeaux
-;-;-;-
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Models and languages for parallel computation