Ilkka Niemelä
On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic
CSL, 1988.
@inproceedings{CSL-1988-Niemela,
author = "Ilkka Niemelä",
booktitle = "{Proceedings of the Second Workshop on Computer Science Logic}",
doi = "10.1007/BFb0026304",
isbn = "3-540-51659-X",
pages = "226--239",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic}",
volume = 385,
year = 1988,
}