A Lower Bound for the Optimal Crossing-Free Hamiltonian Cycle Problem. R.B. Hayward (1987) Discrete & computational geometry