"Modeling OR-Parallel Execution of Prolog using CHOCS."

Roberto Barbuti, Nicoletta De Francesco, Antonella Santone (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics