Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay. Rewriting induction for constrained inequalities. Science of Computer Programming, 155:52-75, 2018. [doi]
@article{KouzapasDPG18, title = {Rewriting induction for constrained inequalities}, author = {Dimitrios Kouzapas and Ornela Dardha and Roly Perera and Simon J. Gay}, year = {2018}, doi = {10.1016/j.scico.2017.10.006}, url = {https://doi.org/10.1016/j.scico.2017.10.006}, researchr = {https://researchr.org/publication/KouzapasDPG18}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {155}, pages = {52-75}, }