Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati. A Uniform Tableaux Method for Nonmonotonic Modal Logics. In José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Volume 1126 of Lecture Notes in Computer Science, pages 87-103, Springer, 1996.
Abstract is missing.