Fast Searching for Andrews-Curtis Trivializations. - R. Sean Bowman; Stephen B. McCaul (Exp. Math., 2006)