Then, several improvements are made, and a modified ordered linear resolution principle, MOL resolution, is presented.

• 然后加以若干改进,提出一种改进后的序线性归结原理,即MOL归结。