Breadth-First Search and the Andrews-Curtis Conjecture.

George Havas Colin Ramsay Breadth-First Search and the Andrews-Curtis Conjecture. 61-68 2003 13 IJAC 1 http://dx.doi.org/10.1142/S0218196703001365 db/journals/ijac/ijac13.html#HavasR03