@article {256,
	title = {Refinement Modal Logic},
	journal = {Information and Computation},
	year = {2014},
	url = {http://dx.doi.org/10.1016/j.ic.2014.07.013},
	author = {L. Bozzelli and van Ditmarsch, Hans and T. French and J. Hales and S. Pinchinat}
}