归结过程就是"寻找"空子句的过程。
出自:计算机科学