A minimum spanning tree algorithm with inverse-Ackermann type complexity (Journal of the ACM, 2000)