skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Algebraic computational models of OR-parallel execution of Prolog

Barbuti, R., N. De Francesco, and A. Santone, "Algebraic computational models of OR-parallel execution of Prolog", Acta Informatica, vol. 34, no. 6: Springer, pp. 449–489, 1997.