Tom Khabaza Negation as Failure and Parallelism. 70-75 1984 SLP db/conf/slp/slp84.html#Khabaza84