The complexity of properties of transformation semigroups. - Lukas Fleischer; Trevor Jack (Int. J. Algebra Comput., 2020)