David M. Meyer;John S. Conery
-;-
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs
ACM SIGPLAN Notices