TY  - RPRT
TI  - Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers
AU  - Tomohiro Sasano
AU  - Naoki Nishida
AU  - Masahiko Sakai
AU  - Tomoya Ueyama
PY  - 2018
DO  - 10.4204/eptcs.265.7
UR  - https://arxiv.org/abs/1802.06497
ID  - 1802.06497
ER  -