Reachability problem for polynomial iteration is PSPACE-complete
scientific article; zbMATH DE number 6820349