Projections for infinitary rewriting

Cite this paper

@article{Lombardi2017ProjectionsFI, title={Projections for infinitary rewriting}, author={Carlos Lombardi and Alejandro R{\'i}os and Roel de Vrijer}, journal={Electr. Notes Theor. Comput. Sci.}, year={2017}, volume={332}, pages={131-148} }