Combining decision procedures for the reals (2006)

by Jeremy Avigad , Harvey Friedman
Venue:Logical Methods in Computer Science
Citations:10 - 3 self