@InProceedings{GMS-98-1,
title = {Logically-complete local search for propositional nonmonotonic knowledge bases},
booktitle = {Proceedings of the 7th Intl. Workshop on Nonmonotonic Reasoning(NMR'98)},
editor = {Niemelä I. et Schaub T. (eds.)},
pages = {37-45},
author = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
OPT_auteurs_membres = {Grégoire, Éric and Mazure, Bertrand and Saïs, Lakhdar},
year = {1998},
month = {jun},
address = {Trente, Italie},
}