Ido Efrat The Elementary Theory of Free Pseudo p-adically Closed Fields of Finite Corank. 484-496 1991 56 J. Symb. Log. 2 db/journals/jsyml/jsyml56.html#Efrat91