The Complexity of One-Agent Refinement Modal Logic | Publicación