https://isa-afp.org/authors/haucke/ AFP entries of Marco Haucke https://isa-afp.org/entries/Joinable_BST_Work_Bounds.html Thu, 24 Sep 2026 00:00:00 +0000 Work Bounds for Strongly Joinable Balanced Binary Search Trees in the AFP Computer science/Data structures