@article{Immerman:JoC:1988,
    Author = {Immerman, N.},
    EPrint = {http://epubs.siam.org/doi/pdf/10.1137/0217058},
    File = {Nondeterministic Space is Closed under Complementation - Immerman (0) (0) - a - a - b.pdf},
    Journal = {SIAM Journal on Computing},
    Number = {5},
    Pages = {935--938},
    Title = {Nondeterministic Space is Closed under Complementation},
    URL = {http://epubs.siam.org/doi/abs/10.1137/0217058},
    Volume = {17},
    Year = {1988},
    bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/0217058},
    bdsk-url-2 = {http://dx.doi.org/10.1137/0217058},
    date-added = {2012-06-28 11:04:22 +0200},
    date-modified = {2019-10-12 12:22:57 +0200},
    file-2 = {Nondeterministic Space is Closed under Complementation - Immerman (1) (0) - a - a - b.pdf},
    doi = {10.1137/0217058}
}

@article{Immerman:JoC:1988, Author = {Immerman, N.}, EPrint = {http://epubs.siam.org/doi/pdf/10.1137/0217058}, File = {Nondeterministic Space is Closed under Complementation - Immerman (0) (0) - a - a - b.pdf}, Journal = {SIAM Journal on Computing}, Number = {5}, Pages = {935--938}, Title = {Nondeterministic Space is Closed under Complementation}, URL = {http://epubs.siam.org/doi/abs/10.1137/0217058}, Volume = {17}, Year = {1988}, bdsk-url-1 = {http://epubs.siam.org/doi/abs/10.1137/0217058}, bdsk-url-2 = {http://dx.doi.org/10.1137/0217058}, date-added = {2012-06-28 11:04:22 +0200}, date-modified = {2019-10-12 12:22:57 +0200}, file-2 = {Nondeterministic Space is Closed under Complementation - Immerman (1) (0) - a - a - b.pdf}, doi = {10.1137/0217058} }