@inproceedings{GHW19,
    Author = {Gu{\'e}pin, Florent and Haase, Christoph and Worrell, James},
    BookTitle = {Logic in Computer Science, LICS},
    File = {On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields - ghw-19 - a - a - a - y.pdf},
    Publisher = {IEEE},
    Title = {On the Existential Theories of B{\"u}chi Arithmetic and Linear $p$-adic Fields},
    Year = {2019},
    bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785681},
    date-added = {2020-03-08 11:16:33 +0100},
    date-modified = {2020-03-08 11:16:33 +0100},
    doi = {10.1109/LICS.2019.8785681}
}

@inproceedings{GHW19, Author = {Gu{\'e}pin, Florent and Haase, Christoph and Worrell, James}, BookTitle = {Logic in Computer Science, LICS}, File = {On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields - ghw-19 - a - a - a - y.pdf}, Publisher = {IEEE}, Title = {On the Existential Theories of B{\"u}chi Arithmetic and Linear $p$-adic Fields}, Year = {2019}, bdsk-url-1 = {https://doi.org/10.1109/LICS.2019.8785681}, date-added = {2020-03-08 11:16:33 +0100}, date-modified = {2020-03-08 11:16:33 +0100}, doi = {10.1109/LICS.2019.8785681} }