Proving inductive validity of constrained inequalities. - Takahiro Nagao; Naoki Nishida 001 (PPDP, 2016)

Rewriting induction for constrained inequalities. - Takahiro Nagao; Naoki Nishida 001 (Sci. Comput. Program., 2018)