Concurrent Query Processing for Logic Inference Using the Connection Graph. - Naim Abdullah; Jie-Yong Juang (J. Parallel Distributed Comput., 1993)