Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 亚尼斯·塞拉米 Ilinva：使用诱拐生成循环不变量。 2019 abs/1906.11033 CoRR公司 http://arxiv.org/abs/1906.11033 db/journals/corr/corr1906.html#abs-1906-11033