"A Formal Model for Or-Parallel Execution of Logic Programs."

Andrzej Ciepielewski, Seif Haridi (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics