Fast updates of balanced search trees with a guaranteed time bound per update (1980)

by Dov Harel