@InProceedings{GMP-06-2,
title = {Tracking MUSes and Strict Inconsistent Covers},
booktitle = {Sixth ACM/IEEE International Conference on Formal Methods in Computer Aided Design(FMCAD'06)},
pages = {39-46},
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 = {nov},
address = {San Jose (USA)},
}