Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. - Ehud Shapiro; Colin Mierowsky (New Gener. Comput., 1984)