Chen Avin Arithmetic Binary Search Trees: Static Optimality in the Matching Model. 2020 abs/2012.13698 CoRR https://arxiv.org/abs/2012.13698 db/journals/corr/corr2012.html#abs-2012-13698