Srinivasa Rao Arikati Kurt Mehlhorn A Correctness Certificate for the Stoer-Wagner Min-Cut Algorithm. 251-254 1999 70 Inf. Process. Lett. 5 db/journals/ipl/ipl70.html#ArikatiM99 http://dx.doi.org/10.1016/S0020-0190(99)00071-X