@InProceedings{CCC+-96-1,
title = { Using the Davis and Putnam procedure for an efficient computation of preferred models},
booktitle = {Twelfth European Conference on Artificial Intelligence(ECAI'96)},
pages = { 350-354},
author = {Castell, T. and Cayrol, C. and Cayrol, M. and Le~Berre, Daniel},
OPT_auteurs_membres = {Le~Berre, Daniel},
year = {1996},
address = { Budapest (Hongrie)},
}