Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns. Complexity of reachability problems for finite discrete dynamical systems. J. Comput. Syst. Sci., 72(8):1317-1345, 2006. [doi]
Abstract is missing.