Sang Cho Dung T. Huynh Finite-Automaton Aperiodicity is PSPACE-Complete. 99-116 1991 88 Theor. Comput. Sci. 1 db/journals/tcs/tcs88.html#ChoH91