A Parallel Execution Model of Logic Programs. - Albert C. Chen 003; Chuan-lin Wu (IEEE Trans. Parallel Distributed Syst., 1991)