Automated Amortised Analysis of Skew Heaps and Leftist Heaps.

Armin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger

Browse the full CAV paper archive.