The complexity of one-agent refinement modal logic | Publicación