Swart, Gismondi, Swart, Bell, Lee, 2016. Deciding Graph non-Hamiltonicity via a Closure Algorithm 48.