The closure of the context-sensitive languages under complement
Lance Fortnow’s page, describing four relatively recent results in automata theory
The citation for the award of the 1995 Gödel prize to Neil Immerman and Róbert Szelepcsényi for proving that nondeterministic space complexity classes are closed under complement. The fact that the context-sensitive languages are closed under complement follows from that result.