郑胜根 乔泽夫·格鲁斯卡 邱道文 半量子双向有限自动机模型下带验证器的交互式证明系统的威力 http://arxiv.org/abs/1304.3876 2013 CoRR公司 abs/1304.3876 数据库/期刊/corr/corr1304.html#abs-1304-3876