On the Complexity of the Decision Problem in Propositional Nonmonotonic Logic

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.

Abstract

Abstract is missing.