Agostino Dovier Enrico Pontelli Gianfranco Rossi Set unification. 645-701 2006 6 TPLP 6 http://dx.doi.org/10.1017/S1471068406002730 db/journals/tplp/tplp6.html#DovierPR06