Péter Szeredi and Mats Carlsson. The Engine-Scheduler Interface in the Aurora Or-Parallel Prolog System. Technical Report TR90-09, University of Bristol, April 1990.
Péter Szeredi and Mats Carlsson. The Engine-Scheduler Interface in the Aurora Or-Parallel Prolog System. Technical Report TR90-09, University of Bristol, April 1990.
Size 1.5 MB - File type application/pdf