Lower Bounds on Words Separation: Are There Short Identities in Transformation Semigroups? - Andrei A. Bulatov; Olga Karpova; Arseny M. Shur; Konstantin Startsev (Electron. J. Comb., 2017)