Proof Terms for Infinitary Rewriting. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (RTA-TLCA, 2014)

Proof terms for infinitary rewriting, progress report. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (CoRR, 2014)

Projections for Infinitary Rewriting. - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (LSFA, 2016)

Projections for infinitary rewriting (extended version). - Carlos Lombardi; Alejandro Ríos 001; Roel de Vrijer (Theor. Comput. Sci., 2019)