TY  - RPRT
TI  - On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
AU  - Yoshiaki Kanazawa
AU  - Naoki Nishida
PY  - 2019
DO  - 10.4204/eptcs.289.3
UR  - https://arxiv.org/abs/1902.08421
ID  - 1902.08421
ER  -