Gopal Gupta;Manuel V. Hermenegildo
-;-
Parallel logic programming systems
ACM Computing Surveys (CSUR)