L. Bernátsky, “Regular expression star-freeness is PSPACE-complete”, Acta Cybern, vol. 13, no. 1, pp. 1-21, Jan. 1997.