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