Flexible Scheduling of OR-Parallel Logic Programming Systems. - Anthony Joseph Beaumont; S. Muthu Raman; Péter Szeredi; David H. D. Warren (PARLE (2), 1991)