@misc{indiciae491b3aa988e3, title = {Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)}, author = {Armin Walch and Georg Moser and Berry Schoenmakers and Florian Zuleger}, year = {2026}, url = {https://arxiv.org/abs/2605.12091}, note = {Source identifier: 2605.12091} }