Termination and Universal Termination Problems for Nondeterministic Quantum Programs. - Xu, Ming; Fu, Jianling; Jiang, Hui; Deng, Yuxin; Li, Zhi-Bin (ACM Transactions on Software Engineering & Methodology, 2024)