@Article{GMP-08-4,
title = {On Finding Minimally Unsatisfiable Cores of CSPs},
journal = {International Journal on Artificial Intelligence Tools (IJAIT)},
volume = {17},
number = {4},
pages = {745 - 763},
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},
month = {aug},
}