Riccardo Rosati. Model Checking for Nonmonotonic Logics: Algorithms and Complexity. In Thomas Dean, editor, Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages. pages 76-83, Morgan Kaufmann, 1999.
Abstract is missing.