Immerman - NL by logical characterizations

Szelepcsényi - closure of context sensitive languages