Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. A Powerful Heuristic to Locate Inconsistent Kernels in Knowledge-Based Systems.
Proc. Int. Conf. on Inform. Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-96), 1996, Unknown, Grenada. pp.1265-1269.
⟨hal-03300534⟩