@misc{indiciae118cba71490b,
  title = {Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems},
  author = {Ryota Nakayama and Naoki Nishida and Masahiko Sakai},
  year = {2017},
  doi = {10.4204/eptcs.235.5},
  url = {https://arxiv.org/abs/1701.00650},
  note = {Source identifier: 1701.00650}
}