Chitta Baral, Yan Zhang. The Complexity of Model Checking for Knowledge Update. In Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, Mary-Anne Williams, editors, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002. pages 82-96, Morgan Kaufmann, 2002.
Abstract is missing.