AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs

Piotr Dembinski, Jan Maluszynski. AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. In SLP. pages 29-38, 1985.

Abstract

Abstract is missing.