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

Andrzej Ciepielewski Seif Haridi A Formal Model for Or-Parallel Execution of Logic Programs. 299-305 1983 IFIP Congress db/conf/ifip/ifip83.html#CiepielewskiH83