A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment.

Mats Carlsson, Kenneth J. Danhof, Ross A. Overbeek

Browse the full ICLP paper archive.