Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases.
Proceedings International Joint Conference on Qualitative and Quantitative Practical Reasoning, 1997, Bad Honnef, Germany. pp.122-130.
⟨hal-03300532⟩