%0 Conference Paper %1 conf/csl/Niemela88 %A Niemelä, Ilkka %B CSL %D 1988 %E Börger, Egon %E Büning, Hans Kleine %E Richter, Michael M. %I Springer %K dblp %P 226-239 %T On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. %U http://dblp.uni-trier.de/db/conf/csl/csl88.html#Niemela88 %V 385 %@ 3-540-51659-X

@inproceedings{conf/csl/Niemela88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Niemelä, Ilkka}, biburl = {https://www.bibsonomy.org/bibtex/22e6fb277c479449077811b7d1f2a552a/dblp}, booktitle = {CSL}, crossref = {conf/csl/1988}, editor = {Börger, Egon and Büning, Hans Kleine and Richter, Michael M.}, ee = {https://doi.org/10.1007/BFb0026304}, interhash = {8a645fdcdfa7644d4030be81b0eadfd5}, intrahash = {2e6fb277c479449077811b7d1f2a552a}, isbn = {3-540-51659-X}, keywords = {dblp}, pages = {226-239}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:19.000+0200}, title = {On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl88.html#Niemela88}, volume = 385, year = 1988 }