归结原理

resolution principle