Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 公式图式的推理 网址：http://arxiv.org/abs/1204.2990 2012 CoRR公司 abs/1204.2990 db/journals/corr/corr1204.html#abs-1204-2990