Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 亚尼斯·塞拉米 Ilinva：使用外展生成循环不变量。 77-93 2019 FroCos公司 https://doi.org/10.1007/978-3-030-29007-8_5 conf/frocos/2019 db/conf/frocos/frocos2019.html#EchenimPS19