David W. Barnette Contractible circuits in 3-connected graphs. 19-29 1998 187 Discrete Mathematics 1-3 http://dx.doi.org/10.1016/S0012-365X(97)00243-4 db/journals/dm/dm187.html#Barnette98