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