罗伯托·布鲁尼 罗伯托·贾科巴齐 罗伯塔·戈里 弗朗西斯科·兰扎托 局部完整抽象解释的逻辑。 1月13日 2021 许可证 https://doi.org/10.1109/LICS52264.2021.9470608 conf/lics/2021 db/conf/lics/lics2021.html#BruniGGR21