A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems. - Zhiyi Hwang; Shouren Hu (PARLE (2), 1989)

Study of a Parallel Inference Machine for Parallel Execution of Logic Programs. - Yaoqing Gao; Chengzheng Sun; Shouren Hu (CONPAR, 1990)

Design and implementation of a parallel logic programming system. - Shouren Hu; Yaoqing Gao; Zhiyi Hwang; Yungui Ci (TAI, 1990)

A compiling approach for exploiting AND-parallelism in logic programs. - Zhiyi Hwang; Shouren Hu (Future Gener. Comput. Syst., 1990)

Intelligent Scheduling AND- and OR-Parallelism in the Parallel Logic Programming System RAP/LOP-PIM. - Yaoqing Gao; Dingxing Wang; Qiu Xiaolin; Weimin Zheng; Meiming Shen; Shouren Hu (ICPP (2), 1991)

Reduction of Code Space in Parallel Logic Programming Systems. - Zhiyi Hwang; Shouren Hu; Chengzheng Sun; Yaoqing Gao (PARLE (2), 1991)

Parallelizing Prolog on Shared-Memory Multiprocessors. - Yaoqing Gao; Dingxing Wang; Qiu Xiaolin; Zhiyi Hwang; Shouren Hu (PDK, 1991)

Parallel execution of prolog on shared-memory multiprocessors. - Yaoqing Gao; Dingxing Wang; Weimin Zheng; Meiming Shen; Zhiyi Huang 001; Shouren Hu; Giorgio Levi (J. Comput. Sci. Technol., 1993)

SCKE: Combining logic- with object-oriented paradigm. - Zhi Jin; Shouren Hu (J. Comput. Sci. Technol., 1993)