On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic (1988)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
PAGES:
226-239
@inproceedings{ Niemela88:csl_ini, author = {Niemel{\"a}, Ilkka}, publisher = "Springer-Verlag", title = "On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic", booktitle = "Proceedings of the 2nd Workshop on Computer Science Logic", year = "1988", month = "October", address = "Duisburg, FRG", pages = "226--239" }