Bulatov, A. A.; Karpova, O.; Shur, A. M.; Startsev, K. Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups?. Electron. J. Combin. 2017, 24, P3.35.