Deciding Graph non-Hamiltonicity via a Closure Algorithm. - E. R. Swart; S. J. Gismondi; N. R. Swart; C. E. Bell; A. Lee (CoRR, 2016)