Schmidt, Jens M. Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Schmidt, J. M. (2012). Construction Sequences and Certifying 3-Connectivity. Algorithmica, 62(1-2), 192-208. doi:10.1007/s00453-010-9450-9.