Paolo Liberatore Marco Schaerf Belief Revision and Update: Complexity of Model Checking. 43-72 2001 62 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss62.html#LiberatoreS01