@doctoralThesis{Košta_2016,
title={New concepts for real quantifier elimination by virtual substitution},
author={Košta, Marek},
doi={http://dx.doi.org/10.22028/D291-26679},
year={2016}
}