1 MVD 2010 University of Iowa New York University Comparing Proof Systems for Linear Real Arithmetic Using LFSC Andrew Reynolds September 17, 2010.
Comparing Proof Systems for Linear Real Arithmetic Using LFSC