TADM2E 6.5
From Algorithm Wiki
(Redirected from TADM2E 6.8)
In both algorithms, an edge can only ever be picked once, so they will both eventually terminate regardless of negative edge weights. I also suspect that they still generate minimum spanning trees, but don't have a proof of it.