H. Zhiyi;H. Shouren
-;-
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs
ACM SIGPLAN Notices