Florian Corzilius Erika Ábrahám Virtual Substitution for SMT-Solving. 360-371 2011 FCT http://dx.doi.org/10.1007/978-3-642-22953-4_31 conf/fct/2011 db/conf/fct/fct2011.html#CorziliusA11