Mehlhorn, K., & Uhrig, C.(1993). Maintaining dynamic sequences under equality-tests in polylogorithmic time (MPI-I-93-128). Saarbrücken: Max-Planck-Institut für Informatik.