Logic Programming Using Parallel Associative Operations.

Stephen Taylor Andy Lowry Gerald Q. Maguire Jr. Salvatore J. Stolfo Logic Programming Using Parallel Associative Operations. 58-68 1984 SLP db/conf/slp/slp84.html#TaylorLMS84