Maria J. García de la Banda;Manuel V. Hermenegildo;Kim Marriott
-;-;-
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)