Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version). - Armin Walch; Georg Moser; Berry Schoenmakers; Florian Zuleger (CoRR, 2026)