Bernátsky, L. (1997). Regular expression star-freeness is PSPACE-complete. Acta Cybernetica, 13(1), 1-21. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3476