Roberto Barbuti, Nicoletta De Francesco, Antonella Santone. Algebraic Computational Models of OR-Parallel Execution of Prolog. Acta Informatica, 34(6):449-489, 1997.
@article{BarbutiFS97, title = {Algebraic Computational Models of OR-Parallel Execution of Prolog}, author = {Roberto Barbuti and Nicoletta De Francesco and Antonella Santone}, year = {1997}, tags = {Prolog, algebra}, researchr = {https://researchr.org/publication/BarbutiFS97}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {34}, number = {6}, pages = {449-489}, }