Heuristics for the Whitehead minimization problem. Haralick, R.M.; Miasnikov, A.D.; Myasnikov, A.G. — 2005 Experimental Mathematics