Takahiro Nagao, Naoki Nishida 0001. Rewriting induction for constrained inequalities. Science of Computer Programming, 155:76-102, 2018. [doi]
@article{NagaoN18, title = {Rewriting induction for constrained inequalities}, author = {Takahiro Nagao and Naoki Nishida 0001}, year = {2018}, doi = {10.1016/j.scico.2017.10.012}, url = {https://doi.org/10.1016/j.scico.2017.10.012}, researchr = {https://researchr.org/publication/NagaoN18}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {155}, pages = {76-102}, }