A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs.

Laxmikant V. Kalé R. Ramkumar Wei Wennie Shu A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs. 1223-1240 1988 conf/iclp/1988 ICLP/SLP db/conf/iclp/iclp88.html#KaleRS88