拉希德·埃哈希德 Mnacho Echenim公司 迈赫迪·姆哈拉 尼古拉斯·佩尔蒂埃 基于叠加的图解推理微积分。 10:1-10:13 2021 PPDP（PPDP） https://doi.org/10.1145/347939405 conf/ppdp/2021 db/conf/ppdp/ppdp2021.html#EchahedEMP21