@InBook{GMP-08-2,
title = {Sous-formules minimales insatisfaisables },
booktitle = {Problème SAT : progrès et défis},
chapter = {8},
publisher = {Hermes},
editor = {Lakhdar Saïs},
pages = {221-242},
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 = {2008},
}