@InProceedings{MSG-97-3,
title = {Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases},
booktitle = {9th European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty(ECSQARU'07)},
publisher = {LNAI 1244, Springer Verlag},
editor = {Gabbay D. et al. (eds.)},
pages = {122-130},
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 = {1997},
month = {jun},
address = {Bad Honnef, Allemagne},
}