@inproceedings{DBLP:conf/ppdp/BandaSW03,
author = {Maria J. Garc\'{\i}a de la Banda and
Peter J. Stuckey and
Jeremy Wazny},
title = {Finding all minimal unsatisfiable subsets},
booktitle = {PPDP},
year = {2003},
pages = {32-43},
ee = {http://doi.acm.org/10.1145/888251.888256},
crossref = {DBLP:conf/ppdp/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ppdp/2003,
title = {Proceedings of the 5th International ACM SIGPLAN Conference
on Principles and Practice of Declarative Programming, 27-29
August 2003, Uppsala, Sweden},
booktitle = {PPDP},
publisher = {ACM},
year = {2003},
isbn = {1-58113-705-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
