"The Sync Model: A Parallel Execution Method for Logic Programming."

Peyyun Peggy Li, Alain J. Martin (1986)
a service of Schloss Dagstuhl - Leibniz Center for Informatics