Ilkka Niemelä. On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic. In Egon Börger, Hans Kleine Büning, Michael M. Richter, editors, CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings. Volume 385 of Lecture Notes in Computer Science, pages 226-239, Springer, 1988.
No references recorded for this publication.
No citations of this publication recorded.