A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs.

Prasenjit Biswas Shyh-Chang Su David Y. Y. Yun A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs. 1160-1179 1988 ICLP/SLP db/conf/iclp/iclp88.html#BiswasSY88