p-adic semi-algebraic sets and cell decomposition. Jan Denef (1986) Journal für die reine und angewandte Mathematik
Positively prime models over a normal basic set. Palyutin, E.A. (2007) Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Problemi di decidibilità in logica topologica J. A. Makowsky, A. Marcja (1976) Rendiconti del Seminario Matematico della Università di Padova