Fast searching for Andrews-Curtis trivializations. Bowman, R.Sean, McCaul, Stephen B. (2006) Experimental Mathematics