TY  - RPRT
TI  - On a New Notion of Partial Refinement
AU  - Emil Sekerinski
AU  - Tian Zhang
PY  - 2013
DO  - 10.4204/eptcs.115.1
UR  - https://arxiv.org/abs/1305.6110
ID  - 1305.6110
ER  -