@inproceedings{GHW19,
  title = "On the Existential Theories of {B}\"uchi Arithmetic and Linear $p$-adic Fields",
  author = "Florent Gu\'epin and Christoph Haase and James Worrell",
  year = "2019",
  booktitle = "Logic in Computer Science, {LICS}",
  publisher = "IEEE",
  doi = "10.1109/LICS.2019.8785681",
}