A correctness certificate for the Stoer-Wagner min-cut algorithm
scientific article; zbMATH DE number 1771685