## Set Unification (2001)

### Cached

### Download Links

- [www.cs.nmsu.edu]
- [mozart.sip.ucm.es]
- [mozart.sip.ucm.es]
- [prmat.math.unipr.it]
- DBLP

### Other Repositories/Bibliography

by
Agostino Dovier
,
Enrico Pontelli
,
Gianfranco Rossi

Citations: | 8 - 4 self |

### BibTeX

@MISC{Dovier01setunification,

author = {Agostino Dovier and Enrico Pontelli and Gianfranco Rossi},

title = {Set Unification},

year = {2001}

}

### OpenURL

### Abstract

The goal of this paper is to provide a uniform overview of the unification problem in algebras capable of describing sets. The problem has been tackled, directly and indirectly, by many researchers and it can find important applications in various research areas - e.g., deductive databases, theorem proving, static analysis, rapid software prototyping. The problem has been explored in depth, but the various solutions proposed are spread across a large literature, and some of the approaches have been ignored and/or rediscovered by different researchers. In this