@inproceedings{10.1007/978-3-540-74915-8_4,
    Address = {Berlin, Heidelberg},
    Author = {Dawar, Anuj},
    BookTitle = {Proceedings of the 21st International Workshop and the 16th Annual Conference of the EACSL on Computer Science Logic},
    File = {Model-Checking First-Order Logic- Automata and Locality - modelchecking-firstorder-logic-automata-and-locality - a - a - a - m.pdf},
    ISBN = {9783540749141},
    Location = {Lausanne, Switzerland},
    Pages = {6},
    Publisher = {Springer-Verlag},
    Series = {CSL '07/EACSL '07,},
    Title = {Model-Checking First-Order Logic: Automata and Locality},
    URL = {https://doi.org/10.1007/978-3-540-74915-8\_4},
    Year = {2007},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-540-74915-8\_4},
    date-added = {2020-01-22 20:56:45 +0100},
    date-modified = {2020-01-22 20:56:45 +0100},
    file-2 = {Model-Checking First-Order Logic- Automata and Locality - csl07 - a - a - a - m.pdf},
    numpages = {1},
    doi = {10.1007/978-3-540-74915-8_4}
}

@inproceedings{10.1007/978-3-540-74915-8_4, Address = {Berlin, Heidelberg}, Author = {Dawar, Anuj}, BookTitle = {Proceedings of the 21st International Workshop and the 16th Annual Conference of the EACSL on Computer Science Logic}, File = {Model-Checking First-Order Logic- Automata and Locality - modelchecking-firstorder-logic-automata-and-locality - a - a - a - m.pdf}, ISBN = {9783540749141}, Location = {Lausanne, Switzerland}, Pages = {6}, Publisher = {Springer-Verlag}, Series = {CSL '07/EACSL '07,}, Title = {Model-Checking First-Order Logic: Automata and Locality}, URL = {https://doi.org/10.1007/978-3-540-74915-8_4}, Year = {2007}, bdsk-url-1 = {https://doi.org/10.1007/978-3-540-74915-8_4}, date-added = {2020-01-22 20:56:45 +0100}, date-modified = {2020-01-22 20:56:45 +0100}, file-2 = {Model-Checking First-Order Logic- Automata and Locality - csl07 - a - a - a - m.pdf}, numpages = {1}, doi = {10.1007/978-3-540-74915-8_4} }