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

by B Dixon, M Rauch, R E
Venue:SIAM J. on Computing