Intractability of decision problems for finite-memory automata
scientific article; zbMATH DE number 1495191