D. Holt.
An alternative proof that the Fibonacci group F(2,9) is infinite.
    Experimental Mathematics 4, 1995, 97-100.