%0 Journal Article %1 journals/dke/LiberatoreS05 %A Liberatore, Paolo %A Schaerf, Marco %D 2005 %J Data Knowl. Eng. %K dblp %N 2 %P 189-202 %T The complexity of model checking for propositional default logics. %U http://dblp.uni-trier.de/db/journals/dke/dke55.html#LiberatoreS05 %V 55

@article{journals/dke/LiberatoreS05, added-at = {2006-01-06T00:00:00.000+0100}, author = {Liberatore, Paolo and Schaerf, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2abe47c2aa0d7b7e7e7fbbd8cee17b5bc/dblp}, date = {2006-01-06}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.datak.2005.03.002}, interhash = {bac87697b2303f769417aa5831bf20de}, intrahash = {abe47c2aa0d7b7e7e7fbbd8cee17b5bc}, journal = {Data Knowl. Eng.}, keywords = {dblp}, number = 2, pages = {189-202}, timestamp = {2006-01-06T00:00:00.000+0100}, title = {The complexity of model checking for propositional default logics.}, url = {http://dblp.uni-trier.de/db/journals/dke/dke55.html#LiberatoreS05}, volume = 55, year = 2005 }