TY  - RPRT
TI  - Termination of Nondeterministic Quantum Programs
AU  - Yangjia Li
AU  - Nengkun Yu
AU  - Mingsheng Ying
PY  - 2012
UR  - https://arxiv.org/abs/1201.0891
ID  - 1201.0891
ER  -