On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields | IEEE Conference Publication | IEEE Xplore