Andrew Reynolds and Viktor Kuncak. On induction for SMT solvers. Technical Report EPFL-REPORT-201755, EPFL, 2014.

[ bib ] Back