Scheduling Or-Parallelism in Muse.