An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs.

Manuel V. Hermenegildo An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. 25-39 1986 conf/iclp/1986 ICLP db/conf/iclp/iclp86.html#Hermenegildo86