TY  - RPRT
TI  - Closing a Gap in the Complexity of Refinement Modal Logic
AU  - Antonis Achilleos
AU  - Michael Lampis
PY  - 2013
UR  - https://arxiv.org/abs/1309.5184
ID  - 1309.5184
ER  -