@article{1183742636,
author = {Haran, Dan},
title = {Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree},
journal = {J. Symbolic Logic},
volume = {53},
number = {1},
year = {1988},
pages = { 463-469},
language = {en},
url = {http://dml.mathdoc.fr/item/1183742636}
}
Haran, Dan. Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree. J. Symbolic Logic, Tome 53 (1988) no. 1, pp. 463-469. http://gdmltest.u-ga.fr/item/1183742636/