A Prover for General Inequalities.

W. W. Bledsoe, Peter Bruell, Robert E. Shostak

Browse the full IJCAI paper archive.