21 citations · 34 across the 5 of their papers we have counts for
1 paper · 1 filter
Hassan Aït-Kaci, Gabriella Pasi
Unification and generalization are operations on two terms computing respectively their greatest lower bound and least upper bound when the terms are quasi-ordered by subsumption u…