@InProceedings{GMP-09-3,
title = {Does this set of clauses overlap with at least one MUS?},
booktitle = {22nd International Conference on Automated Deduction (CADE 22)},
publisher = {Springer},
volume = {5663},
series = {Lecture Notes in Computer Science (LNCS)},
pages = {100-115},
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 = {2009},
month = {aug},
}