@article{CzerwinskiMartensRooijenZeitounZetzsche:DMTCS:2017,
    Author = {Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg},
    File = {1410.1042 (0) - a - a - w.pdf},
    Journal = {{Discrete Mathematics \& Theoretical Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory ; 68Q45 ; F.4.3},
    Month = {December},
    Title = {{A Characterization for Decidable Separability by Piecewise Testable Languages}},
    URL = {https://dmtcs.episciences.org/4131},
    Volume = {{Vol. 19 no. 4, FCT '15}},
    Year = {2017},
    bdsk-url-1 = {https://dmtcs.episciences.org/4131},
    bdsk-url-2 = {https://doi.org/10.23638/DMTCS-19-4-1},
    date-added = {2018-11-12 15:56:22 +0100},
    date-modified = {2019-03-08 18:26:47 +0100},
    doi = {10.23638/DMTCS-19-4-1}
}

@article{CzerwinskiMartensRooijenZeitounZetzsche:DMTCS:2017, Author = {Czerwi{\'n}ski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}, File = {1410.1042 (0) - a - a - w.pdf}, Journal = {{Discrete Mathematics \& Theoretical Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory ; 68Q45 ; F.4.3}, Month = {December}, Title = {{A Characterization for Decidable Separability by Piecewise Testable Languages}}, URL = {https://dmtcs.episciences.org/4131}, Volume = {{Vol. 19 no. 4, FCT '15}}, Year = {2017}, bdsk-url-1 = {https://dmtcs.episciences.org/4131}, bdsk-url-2 = {https://doi.org/10.23638/DMTCS-19-4-1}, date-added = {2018-11-12 15:56:22 +0100}, date-modified = {2019-03-08 18:26:47 +0100}, doi = {10.23638/DMTCS-19-4-1} }