Original language | English (US) |
---|---|

Title of host publication | Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10) |

Place of Publication | Edinburgh, Scotland |

State | Published - 2010 |

## Cite this

Reynolds, A., Hadarean, L., Tinelli, C., Ge, Y., Stump, A., & Barrett, C. (2010). Comparing proof systems for linear real arithmetic LFSC. In

*Proceedings of the 8th international workshop on satisfiability modulo theories, July 2010, Endinburgh, Scotland, (SMT '10)*