@article{PlaceZeitoun:LMCS:2016,
    Author = {Place, Thomas and Zeitoun, Marc},
    File = {1402.3277 (0) - a - a - d.pdf},
    Journal = {Logical Methods in Computer Science},
    Number = {1},
    Title = {Separating Regular Languages with First-Order Logic},
    URL = {http://dx.doi.org/10.2168/LMCS-12(1:5)2016},
    Volume = {12},
    Year = {2016},
    bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-12(1:5)2016},
    bibsource = {dblp computer science bibliography, http://dblp.org},
    biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/PlaceZ14},
    date-added = {2017-04-06 15:28:23 +0000},
    date-modified = {2017-04-06 15:35:30 +0000},
    timestamp = {Mon, 04 Apr 2016 13:16:34 +0200},
    doi = {10.2168/LMCS-12(1:5)2016}
}

@article{PlaceZeitoun:LMCS:2016, Author = {Place, Thomas and Zeitoun, Marc}, File = {1402.3277 (0) - a - a - d.pdf}, Journal = {Logical Methods in Computer Science}, Number = {1}, Title = {Separating Regular Languages with First-Order Logic}, URL = {http://dx.doi.org/10.2168/LMCS-12(1:5)2016}, Volume = {12}, Year = {2016}, bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-12(1:5)2016}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/PlaceZ14}, date-added = {2017-04-06 15:28:23 +0000}, date-modified = {2017-04-06 15:35:30 +0000}, timestamp = {Mon, 04 Apr 2016 13:16:34 +0200}, doi = {10.2168/LMCS-12(1:5)2016} }