Rewriting induction for constrained inequalities

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay. Rewriting induction for constrained inequalities. Science of Computer Programming, 155:52-75, 2018. [doi]

Abstract

Abstract is missing.