@InProceedings{MSG-96-3,
title = { Detecting Logical Inconsistencies},
booktitle = {Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics(AI/Math'96)},
pages = {116-121},
author = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
year = {1996},
month = {jan},
address = { Fort Lauderdale (FL-USA)},
}