Schmidt, Jens M. Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmidt, J. M. (2013). Contractions, Removals and Certifying 3-connectivity in Linear Time. SIAM Journal on Scientific Computing, 42(2), 494-535. doi:10.1137/110848311.