A refined algorithm for maximum independent set in degree-4 graphs. - Xiao, Mingyu; Nagamochi, Hiroshi (J. Comb. Optim., 2017)