Alan Calderwood Péter Szeredi Scheduling Or-parallelism in Aurora: The Manchester Scheduler. 419-435 1989 ICLP db/conf/iclp/iclp89.html#CalderwoodS89