TY  - RPRT
TI  - Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
AU  - Adrián Riesco
AU  - Juan Rodríguez-Hortalá
PY  - 2015
DO  - 10.4204/eptcs.173.7
UR  - https://arxiv.org/abs/1501.02035
ID  - 1501.02035
ER  -