Zhiyi Hwang;Shouren Hu;Chengzheng Sun;Yaoqing Gao
-;-;-;-
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs
ACM SIGPLAN Notices