@inproceedings{DBLP:conf/plilp/Arenas-SanchezD95,
author = {P.~Arenas-S{\'{a}}nchez and A.~Dovier},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {PLILP},
crossref = {DBLP:conf/plilp/95},
pages = {397-414},
title = {Minimal Set Unification},
projects = {},
butype = {inproceedings},
year = {1995}
}