Lee Naish James A. Thom Kotagiri Ramamohanarao Concurrent Database Updates in PROLOG. 178-195 1987 ICLP db/conf/iclp/iclp87.html#NaishTR87