@InProceedings{GMP-06-3,
title = {Extracting MUSes},
booktitle = {17th European Conference on Artificial Intelligence(ECAI'06)},
pages = {387-391},
author = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Piette, Cédric},
year = {2006},
month = {aug},
address = {Trento, Italy},
}