Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. - Tomohiro Sasano; Naoki Nishida 001; Masahiko Sakai; Tomoya Ueyama (WPTE@FSCD, 2017)