TY  - RPRT
TI  - On Recursive Operations Over Logic LTS
AU  - Yan Zhang
AU  - Zhaohui Zhu
AU  - Jinjin Zhang
PY  - 2013
DO  - 10.1017/s0960129514000073
UR  - https://arxiv.org/abs/1301.3350
ID  - 1301.3350
ER  -