TY - RPRT TI - Contractions, Removals and How to Certify 3-Connectivity in Linear Time AU - Jens M. Schmidt PY - 2010 UR - https://arxiv.org/abs/1011.6187 ID - 1011.6187 ER -