“Comparing
Proof Systems for Linear Real Arithmetic with LFSC”
by Andrew Reynolds, Liana Hadarean, Cesare Tinelli, Yeting Ge, Aaron Stump, and Clark Barrett.
In *Proceedings of the 8^th International Workshop on
Satisfiability Modulo Theories (SMT '10)*, July 2010. Edinburgh,
Scotland.

**BibTeX entry:**

@inproceedings{RHT+10, author = {Andrew Reynolds and Liana Hadarean and Cesare Tinelli and Yeting Ge and Aaron Stump and Clark Barrett}, title = {Comparing Proof Systems for Linear Real Arithmetic with {LFSC}}, booktitle = {Proceedings of the {\it 8^{th}} International Workshop on Satisfiability Modulo Theories (SMT '10)}, month = jul, year = {2010}, note = {Edinburgh, Scotland}, url = {http://www.cs.nyu.edu/~barrett/pubs/RHT+10.pdf} }

(This webpage was created with bibtex2web.)