Algebraic Computational Models of OR-Parallel Execution of Prolog

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone. Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica, 34(6):449-489, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: