Resolution Method Using XML in First-order Predicate Logic

• 使用XML的一阶谓词逻辑归结原理