A minimal nonfinitely based semigroup whose variety is polynomially recognizable - Mikhail V. Volkov 001; Svetlana V. Goldberg; Stanislav I. Kublanovsky (CoRR, 2010)