1 paper · 1 filter
Mauricio Ayala-Rincon, David M. Cerna, Andres Felipe Gonzalez Barragan +1
Interest in anti-unification, the dual problem of unification, is on the rise due to applications within the field of software analysis and related areas. For example, anti-unifica…