"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947

"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947

"Relating the λσ- and λs-styles of explicit substitutions" (2000) Kamareddine, F.; Rìos, A. Journal of Logic and Computation. 10(3):349-380

"Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting" (1999) Bonelli, E.; Rodriguez-Artalejo M.; Flum J. 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999. 1683:204-219