Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking

Nikos Drakos. Unrestricted And-Parallel Execution of Logic Programs with Dependency Directed Backtracking. In IJCAI. pages 157-162, 1989.

Abstract

Abstract is missing.