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