Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica