A fold/unfold transformation framework for rewrite theories extended to CCT | Publicación