Determinacy Driven Optimizations of And-Parallel Prolog Implementations.

Enrico Pontelli, Gopal Gupta, Dongxing Tang

Browse the full ICLP paper archive.