Lifting Term Rewriting Derivations in Constructor Systems by Using Generators | Publicación