Peter Koepke. On the elimination of Malitz quantifiers over Archimedian real closed fields. Arch. Math. Log., 28(3):167-171, 1989. [doi]
@article{Koepke89a, title = {On the elimination of Malitz quantifiers over Archimedian real closed fields}, author = {Peter Koepke}, year = {1989}, doi = {10.1007/BF01622876}, url = {http://dx.doi.org/10.1007/BF01622876}, researchr = {https://researchr.org/publication/Koepke89a}, cites = {0}, citedby = {0}, journal = {Arch. Math. Log.}, volume = {28}, number = {3}, pages = {167-171}, }