Modeling OR-Parallel Execution of Prolog using CHOCS. ICLP 1995: