Christopher L. Barrett, Harry B. Hunt III, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard Edwin Stearns, Mayur Thakur. Predecessor existence problems for finite discrete dynamical systems. Theoretical Computer Science, 386(1-2):3-37, 2007. [doi]
Abstract is missing.