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

<正> 文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性......