Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog.

Ehud Y. Shapiro Colin Mierowsky Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog. 83-90 1984 SLP db/conf/slp/slp84.html#ShapiroM84