Anthony J. Kusalik Bounded-Wait Merge in Shapiro's Concurrent Prolog. 157-169 1984 2 New Generation Comput. 2 db/journals/ngc/ngc2.html#Kusalik84