@misc{indiciaeafb90432e39c,
  title = {Lifting Term Rewriting Derivations in Constructor Systems by Using Generators},
  author = {Adrián Riesco and Juan Rodríguez-Hortalá},
  year = {2015},
  doi = {10.4204/eptcs.173.7},
  url = {https://arxiv.org/abs/1501.02035},
  note = {Source identifier: 1501.02035}
}