Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog. - D. Sarma; C. P. Wu (IEA/AIE (Vol. 2), 1990)