Mehlhorn, K., Neumann, A., & Schmidt, J. M. (2017). Certifying 3-Edge-Connectivity. Algorithmica, 77(2), 309-335. doi:10.1007/s00453-015-0075-x.