The Sync Model: A Parallel Execution Method for Logic Programming

Peyyun Peggy Li, Alain J. Martin. The Sync Model: A Parallel Execution Method for Logic Programming. In SLP. pages 223-234, 1986.

Abstract

Abstract is missing.