Peter Fröhlich, Wolfgang Nejdl, Michael Schroeder. Design and Implementation of Diagnostic Strategies Using Modal Logic. 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 104-118, Springer, 1996.
Abstract is missing.