\texttt{PSPACE}-complete problems for subgroups of free groups and inverse finite automata
scientific article; zbMATH DE number 1493361
scientific article