Antonis Achilleos Michael Lampis Closing a Gap in the Complexity of Refinement Modal Logic. 2013 CoRR http://arxiv.org/abs/1309.5184 abs/1309.5184 db/journals/corr/corr1309.html#AchilleosL13
