preserving order in a forest in less than logarithmic time
PRESERVING ORDER IN A FOREST IN LESS THAN LOGARITHMIC TIME.