Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment.

K. Kim Lawrence J. Henschen Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment. 63-70 1992 conf/seke/1992 SEKE http://doi.ieeecomputersociety.org/10.1109/SEKE.1992.227946 db/conf/seke/seke1992.html#KimH92