A. A. Bulatov, O. Karpova, A. M. Shur, and K. Startsev, “Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups?”, Electron. J. Combin., vol. 24, no. 3, p. P3.35, Aug. 2017.