@InProceedings{GLM-13-2,
title = {Questioning the Importance of WCORE-like Minimization steps in MUC-finding Algorithms},
booktitle = {25th International Conference on Tools with Artificial Intelligence(ICTAI'13)},
publisher = {IEEE Press},
pages = {923-930},
author = {Grégoire, Éric and Lagniez, Jean-Marie and Mazure, Bertrand},
OPT_auteurs_membres = {Grégoire, Éric and Lagniez, Jean-Marie and Mazure, Bertrand},
year = {2013},
}