A proof-producing decision procedure for real arithmetic (2005)

by S McLaughlin, J Harrison
Venue:in Automated Deduction, vol. LNCS 859