Verification and sensitivity analysis of minimum spanning trees in linear time (1992)

by B Dixon, M Rauch, R E Tarjan
Venue:SIAM Journal on Computing