英德拉尼尔·萨哈 贾纳丹·米斯拉 苏曼·罗伊0001 一个实时验证问题的简化 http://arxiv.org/abs/1008.1417 2010 CoRR公司 腹肌/1008.1417 db/journals/corr/corr1008.html#abs-1008-1417