Khayri A. M. Ali Roland Karlsson Full prolog and scheduling or-parallelism in muse. 445-475 1990 19 International Journal of Parallel Programming 6 http://dx.doi.org/10.1007/BF01397627 db/journals/ijpp/ijpp19.html#AliK90a