Hiroshi Nakagawa AND Parallel PROLOG with Divided Assertion Set. 22-28 1984 SLP db/conf/slp/slp84.html#Nakagawa84