Scheduling Speculative Work in Or-Parallel Prolog Systems.

Tony Beaumont, David H. D. Warren

Browse the full ICLP paper archive.