P. G. Bosco;C. Cecchi;C. Moiso;M. Porta;G. Sofi
-;-;-;-;-
Parallel logic programming systems
ACM Computing Surveys (CSUR)