TOPLAS 8(1) January 1986 The MIT Press scientific computation series

() ACM Transactions on Programming Languages and Systems (TOPLAS)  

Clark , Keith and Gregory, Steve (1986) Clark , Keith and Gregory, Steve "PARLOG: parallel programming in logic"