局部完整抽象解释的逻辑| IEEE会议出版物| IEEE Xplore