@inproceedings{10.1145/800061.808765,
    Address = {New York, NY, USA},
    Author = {Immerman, Neil},
    BookTitle = {Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing},
    File = {Languages which capture complexity classes - LanguagesWhichSTOC83 - a - a - a - q.pdf},
    ISBN = {0897910990},
    Pages = {347--354},
    Publisher = {Association for Computing Machinery},
    Series = {STOC '83},
    Title = {Languages Which Capture Complexity Classes},
    URL = {https://doi.org/10.1145/800061.808765},
    Year = {1983},
    bdsk-url-1 = {https://doi.org/10.1145/800061.808765},
    date-added = {2020-02-23 08:01:04 +0100},
    date-modified = {2020-02-23 08:01:04 +0100},
    file-2 = {Languages which capture complexity classes - capture - a - a - a - q.pdf},
    numpages = {8},
    doi = {10.1145/800061.808765}
}

@inproceedings{10.1145/800061.808765, Address = {New York, NY, USA}, Author = {Immerman, Neil}, BookTitle = {Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing}, File = {Languages which capture complexity classes - LanguagesWhichSTOC83 - a - a - a - q.pdf}, ISBN = {0897910990}, Pages = {347--354}, Publisher = {Association for Computing Machinery}, Series = {STOC '83}, Title = {Languages Which Capture Complexity Classes}, URL = {https://doi.org/10.1145/800061.808765}, Year = {1983}, bdsk-url-1 = {https://doi.org/10.1145/800061.808765}, date-added = {2020-02-23 08:01:04 +0100}, date-modified = {2020-02-23 08:01:04 +0100}, file-2 = {Languages which capture complexity classes - capture - a - a - a - q.pdf}, numpages = {8}, doi = {10.1145/800061.808765} }