Parallelism in Connection-Graph-Based Logic Inference.

Jie-Yong Juang Ting-Lu Huang Ed Freeman Parallelism in Connection-Graph-Based Logic Inference. 1 1988 ICPP (2) db/conf/icpp/icpp1988-2.html#JuangHF88