@article{Pa-jflp97,
author = {P.~Arenas-Sanchez and A.~Dovier},
journal = {Journal of Functional and Logic Programming},
publisher = {MIT Press},
title = {A minimality study for set unification},
url = {citeseer.ist.psu.edu/123273.html},
projects = {},
butype = {article},
year = {1997}
}