@Inproceedings{EPTCS289.3,
  author    = {Kanazawa, Yoshiaki and Nishida, Naoki},
  year      = {2019},
  title     = {On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems},
  editor    = {Niehren, Joachim and Sabel, David},
  booktitle = {{\rm Proceedings Fifth International Workshop on}
               Rewriting Techniques for Program Transformations and Evaluation,
               {\rm Oxford, England, 8th July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {289},
  publisher = {Open Publishing Association},
  pages     = {34-52},
  doi       = {10.4204/EPTCS.289.3},
}