Bernátsky, László. 1997. “Regular Expression Star-Freeness Is PSPACE-Complete”. Acta Cybernetica 13 (1), 1-21. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3476.