4.2.3 归结反演