@inproceedings{inproceedings6b1cee02,
title   = {Belief revision on computation tree logic},
author = {Guerra, Paulo T and Wassermann, Renata},
year = {2011},
publisher = {AAAI Press},
booktitle   = {International Joint Conference on Artificial Intelligence - IJCAI}
}