Verified quadratic virtual substitution for real arithmetic

@inproceedings{DBLP:conf/fm/ScharagerCMP21,
	pdf = {pub/QE-VSubst.pdf},
	slides = {pub/QE-VSubst-slides.pdf},
	study = {http://isa-afp.org/entries/Virtual_Substitution.html},
	author = {['Matias Scharager', 'Katherine Cordwell', 'Stefan Mitsch', 'André Platzer']},
	title = {Verified Quadratic Virtual Substitution for Real Arithmetic},
	booktitle = {FM},
	year = {2021},
	pages = {200-217},
	doi = {10.1007/978-3-030-90870-6_11},
	editor = {['Marieke Huisman', 'Corina S. Pasareanu', 'Naijun Zhan']},
	longbooktitle = {FM 2021: Formal Methods},
	longlongbooktitle = {Formal Methods - 24th International Symposium, FM 2021,
                 November 20-26, 2021, Proceedings},
	publisher = {Springer},
	series = {LNCS},
	volume = {13047}
}