Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Arikati, S. R., & Mehlhorn, K. (1999). A Correctness Certificate for the Stoer-Wagner Min-cut Algorithm. Information Processing Letters, 70(5), 251-254. doi:10.1016/S0020-0190(99)00071-X.