@InProceedings{ReyHTGSB-SMT-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}},
  year =	 2010,
  booktitle =	 {Proceedings of the 8th International Workshop on
                  Satisfiability Modulo Theories (Edinburgh, England)},
  editor =	 {A.~Gupta and D.~Kroening},
}