Nominal Equational Rewriting and Narrowing. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho; Daniella Santaguida (LSFA, 2024)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders. - Maribel Fernández; Daniele Nantes-Sobrinho; Daniella Santaguida (CoRR, 2025)