Éric Grégoire, Bertrand Mazure. Une méthode complète de recherche locale pour des bases de connaissance propositionnelles non monotones.
Actes des Quatrièmes Journ. Nat. sur la Résolution Pratique des Problèmes NP-complets (JNPC-98), 1998, Nantes, France. pp.91-99.
⟨hal-03300599⟩