Complexity of reachability problems for finite discrete dynamical systemsChristopher L. Barrett, Richard E. Stearns, Daniel J. Rosenkrantz et al.|Journal of Computer and System Sciences|2006Cited by 82