Kathryn Fraughnaugh Stephen C. Locke 11/30 (Finding Large Independent Sets in Connected Triangle-Free 3-Regular Graphs). 51-72 1995 65 J. Comb. Theory, Ser. B 1 http://dx.doi.org/10.1006/jctb.1995.1043 db/journals/jct/jctb65.html#FraughnaughL95