B. Curtis Eaves, Uriel G. Rothblum. Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields. Math. Program., 53:307-321, 1992.
@article{EavesR92,
title = {Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields},
author = {B. Curtis Eaves and Uriel G. Rothblum},
year = {1992},
tags = {principles},
researchr = {https://researchr.org/publication/EavesR92},
cites = {0},
citedby = {0},
journal = {Math. Program.},
volume = {53},
pages = {307-321},
}