@Article{GMP-07-2,
title = {Local-Search Extraction of MUSes},
journal = {Constraints},
volume = {12},
number = {3},
pages = {325-344},
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 = {2007},
month = {sep},
}