@phdthesis{Kostaphd16,
TITLE = {New Concepts for Real Quantifier Elimination by Virtual Substitution},
AUTHOR = {Ko{\v s}ta, Marek},
LANGUAGE = {eng},
URL = {urn:nbn:de:bsz:291-scidok-67162},
DOI = {10.22028/D291-26679},
SCHOOL = {Universit{\"a}t des Saarlandes},
ADDRESS = {Saarbr{\"u}cken},
YEAR = {2016},
DATE = {2016},
}