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.

Abstract

Abstract is missing.