We present a finite semigroup whose pseudovariety has membership problem hard for the class \emph{Difference P}
翻译:暂无翻译