Quantifier elimination in separably closed fields of finite imperfectness degree
primitive recursive procedure for quantifier elimination
scientific article