Brodal, G. S. Fast Meldable Priority Queues. BRICS 1995, 2.