An efficient upper bound of the rotation distance of binary trees
scientific article; zbMATH DE number 1771744
scientific article