The reachability problem is exponential-space-hard (1976)

by Richard Lipton