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, 251-254.