Deques with heap order. Information Processing Letters 22 (1986)

by H Gajewska, R E Tarjan