21 citations · 51 across the 10 of their papers we have counts for
1 paper · 2 filters
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…