Schmidt, J. M. (2012). Construction Sequences and Certifying 3-Connectivity. Algorithmica, 62(1-2), 192-208. doi:10.1007/s00453-010-9450-9.