Elmasry, A., Mehlhorn, K., & Schmidt, J. M. (2013). Every DFS Tree of a 3-connected Graph Contains a Contractible Edge. Journal of Graph Theory, 72(1), 112-121. doi:10.1002/jgt.21635.