Real Algebraic Strategies for MetiTarski Proofs.

Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendona de Moura

Browse the full AISC paper archive.