"A de bruijn notation for higher-order rewriting" (2000) Bonelli, E.; Kesner, D.; Ríos, A.; Bachmair L. 11th International Conference on Rewriting Techniques and Applications, RTA 2000. 1833:62-79
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400