The reachability problem is exponential-space hard (1976)

by R Lipton