Albert C. Chen Chuan-lin Wu A Parallel Execution Model of Logic Programs. 79-92 1991 2 IEEE Trans. Parallel Distrib. Syst. 1 http://computer.org/tpds/td1991/l0079abs.htm db/journals/tpds/tpds2.html#ChenW91