The Reachability Problem is Exponential-Space Hard (1976)

by R Lipton