Li, Peyyun Peggy (1986) A Parallel Execution Model for Logic Programming (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/2ngs-bp80
