Irreducible cyclic presentations of the trivial group. Havas, George; Robertson, Edmund F. — 2003 Experimental Mathematics