%0 Journal Article %1 journals/jcss/LiberatoreS01 %A Liberatore, Paolo %A Schaerf, Marco %D 2001 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 43-72 %T Belief Revision and Update: Complexity of Model Checking. %U http://dblp.uni-trier.de/db/journals/jcss/jcss62.html#LiberatoreS01 %V 62

@article{journals/jcss/LiberatoreS01, added-at = {2021-02-16T00:00:00.000+0100}, author = {Liberatore, Paolo and Schaerf, Marco}, biburl = {https://www.bibsonomy.org/bibtex/223939b67ffd47c0a1d6a7a98619a0d98/dblp}, ee = {https://doi.org/10.1006/jcss.2000.1698}, interhash = {0edf5ec9f299309e1a9a36b70ebb72a0}, intrahash = {23939b67ffd47c0a1d6a7a98619a0d98}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {43-72}, timestamp = {2024-04-08T19:14:51.000+0200}, title = {Belief Revision and Update: Complexity of Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss62.html#LiberatoreS01}, volume = 62, year = 2001 }