@article{2021arXiv210101968K,
    ArchivePrefix = {arXiv},
    Author = {{Kuperberg}, Denis},
    EID = {arXiv:2101.01968},
    EPrint = {2101.01968},
    File = {Positive first-order logic on words - 2101.01968 - a - k.pdf},
    Journal = {arXiv e-prints},
    Keywords = {logic},
    Month = {January},
    Pages = {arXiv:2101.01968},
    PrimaryClass = {cs.FL},
    Title = {{Positive first-order logic on words}},
    Year = {2021},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2021arXiv210101968K},
    date-added = {2021-01-07 13:29:18 +0100},
    date-modified = {2021-02-15 10:45:31 +0100},
    file-2 = {board - k.pdf},
    file-3 = {Positive first-order logic on words - 2101.01968.pdf},
    doi = {10.48550/arXiv.2101.01968}
}

@article{2021arXiv210101968K, ArchivePrefix = {arXiv}, Author = {{Kuperberg}, Denis}, EID = {arXiv:2101.01968}, EPrint = {2101.01968}, File = {Positive first-order logic on words - 2101.01968 - a - k.pdf}, Journal = {arXiv e-prints}, Keywords = {logic}, Month = {January}, Pages = {arXiv:2101.01968}, PrimaryClass = {cs.FL}, Title = {{Positive first-order logic on words}}, Year = {2021}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2021arXiv210101968K}, date-added = {2021-01-07 13:29:18 +0100}, date-modified = {2021-02-15 10:45:31 +0100}, file-2 = {board - k.pdf}, file-3 = {Positive first-order logic on words - 2101.01968.pdf}, doi = {10.48550/arXiv.2101.01968} }