Gopal Gupta;Bharat Jayaraman
-;-
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs
ACM SIGPLAN Notices
Parallel logic programming systems
ACM Computing Surveys (CSUR)