尤内斯·贾法尔 卡里姆·布佐巴 走向一种新的混合抽象总结方法。 286-293 2018 ACLING公司 https://doi.org/10.1016/j.procs.2018.10.496 conf/acling/2018年 db/conf/acling/acling2018.html#JaafarB18