A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme.

Toshihiko Miyazaki Akikazu Takeuchi Takashi Chikayama A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. 110-118 1985 SLP db/conf/slp/slp85.html#MiyazakiTC85