@InProceedings{GMP-07-4,
title = {MUST: Provide a Finer-Grained Explanation of Unsatisfiability},
booktitle = {13th International Conference on Principles and Practice of Constraint Programming(CP'07)},
publisher = {LNCS 4741},
editor = {Christian Bessière},
pages = {317-331},
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},
address = {Providence (USA)},
}