@article {258,
	title = {The Complexity of One-Agent Refinement Modal Logic},
	journal = {Theoretical Computer Science},
	year = {2014},
	author = {L. Bozzelli and van Ditmarsch, Hans and S. Pinchinat}
}