1、
Linear strategy, semantic strategy and lock strategy for remainder method
余式方法中的线性策略以及语义策略和锁策略
互联网摘选
2、
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。
互联网摘选
3、
本文给出如下结果：语义归结和锁归结在某种条件下是相容的；
互联网摘选
