CITATION STYLE
Kapur, D. (2001). Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic. In Symbolic Algebraic Methods and Verification Methods (pp. 129–144). Springer Vienna. https://doi.org/10.1007/978-3-7091-6280-4_13
Mendeley helps you to discover research relevant for your work.