TY - RPRT TI - A Foundation for Proving Splay is Dynamically Optimal AU - Caleb C. Levy AU - Robert E. Tarjan PY - 2022 UR - https://arxiv.org/abs/1907.06310 ID - 1907.06310 ER -