2 citations · 2 across the 1 of their papers we have counts for
1 paper
Damián Aparicio-Sánchez, Santiago Escobar, Julia Sapiña
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. A narrowing-based equat…