On the existential theories of Büchi arithmetic and linear p-adic fields (ACM/IEEE Symposium on Logic in Computer Science, 2019)

(untitled) - Guépin, F; Haase, C; Worrell, J