Paolo Liberatore, Marco Schaerf. Belief Revision and Update: Complexity of Model Checking. J. Comput. Syst. Sci., 62(1):43-72, 2001.
@article{LiberatoreS01,
title = {Belief Revision and Update: Complexity of Model Checking},
author = {Paolo Liberatore and Marco Schaerf},
year = {2001},
tags = {model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/LiberatoreS01},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {62},
number = {1},
pages = {43-72},
}