1 paper
Agostino Dovier, Enrico Pontelli, Gianfranco Rossi
The unification problem in algebras capable of describing sets has been tackled, directly or indirectly, by many researchers and it finds important applications in various research…