Or-Parallel Prolog on a Distributed Memory Architecture.

Fernando M. A. Silva Paul Watson Or-Parallel Prolog on a Distributed Memory Architecture. 173-186 2000 43 J. Log. Program. 2 db/journals/jlp/jlp43.html#SilvaW00