%0 Conference Paper %1 conf/ecai/CastellCCB96 %A Castell, Thierry %A Cayrol, Claudette %A Cayrol, Michel %A Berre, Daniel Le %B ECAI %D 1996 %E Wahlster, Wolfgang %I John Wiley and Sons, Chichester %K dblp %P 350-354 %T Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. %U http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#CastellCCB96

@inproceedings{conf/ecai/CastellCCB96, added-at = {2002-01-03T00:00:00.000+0100}, author = {Castell, Thierry and Cayrol, Claudette and Cayrol, Michel and Berre, Daniel Le}, biburl = {https://www.bibsonomy.org/bibtex/2457967647c911268bf4a77c8d5f0b9b6/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1996}, date = {2002-01-03}, description = {dblp}, editor = {Wahlster, Wolfgang}, interhash = {b2ddab975712721f2a05d758a705b3f4}, intrahash = {457967647c911268bf4a77c8d5f0b9b6}, keywords = {dblp}, pages = {350-354}, publisher = {John Wiley and Sons, Chichester}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai96.html#CastellCCB96}, year = 1996 }