@article{PlaceZeitoun:TOCL:2019,
    Address = {New York, NY, USA},
    Author = {Place, Thomas and Zeitoun, Marc},
    File = {Adding successor- A transfer theorem for separation and covering - 1709.10052 - a - n.pdf},
    ISSN = {1529-3785},
    Journal = {ACM Trans. Comput. Logic},
    Keywords = {covering problem, membership problem, separation problem, decidable characterization, Regular languages, first-order logic},
    Month = {November},
    Number = {2},
    Publisher = {Association for Computing Machinery},
    Title = {Adding Successor: A Transfer Theorem for Separation and Covering},
    URL = {https://doi.org/10.1145/3356339},
    Volume = {21},
    Year = {2019},
    articleno = {9},
    bdsk-url-1 = {https://doi.org/10.1145/3356339},
    date-added = {2020-08-12 16:48:03 +0200},
    date-modified = {2020-08-12 16:58:54 +0200},
    issue_date = {March 2020},
    numpages = {45},
    doi = {10.1145/3356339}
}

@article{PlaceZeitoun:TOCL:2019, Address = {New York, NY, USA}, Author = {Place, Thomas and Zeitoun, Marc}, File = {Adding successor- A transfer theorem for separation and covering - 1709.10052 - a - n.pdf}, ISSN = {1529-3785}, Journal = {ACM Trans. Comput. Logic}, Keywords = {covering problem, membership problem, separation problem, decidable characterization, Regular languages, first-order logic}, Month = {November}, Number = {2}, Publisher = {Association for Computing Machinery}, Title = {Adding Successor: A Transfer Theorem for Separation and Covering}, URL = {https://doi.org/10.1145/3356339}, Volume = {21}, Year = {2019}, articleno = {9}, bdsk-url-1 = {https://doi.org/10.1145/3356339}, date-added = {2020-08-12 16:48:03 +0200}, date-modified = {2020-08-12 16:58:54 +0200}, issue_date = {March 2020}, numpages = {45}, doi = {10.1145/3356339} }