锁归结相关硕士博士期刊学术论文

本文给出关于删除策略相容性的几个结果，对相同谓词符号配用锁的子句集，锁归结和删除策略联用完备，对正文字锁大于负文字锁的Ｈｏｒｎ集，正单元......