On the Existential Theories of Büchi Arithmetic and Linear $p$-adic Fields

Publication
Logic in Computer Science, LICS