Verifying mixed real-integer quantifier elimination, in U. Furbach and N. Shankar, eds (2006)

by A Chaieb
Venue:Proceedings of the 3rd International Joint on Automated Reasoning (IJCAR 2006