Improved Propositional Extension RuleXia Wu, Minghao Yin, Jigui Sun et al.|Lecture notes in computer science|2006Cited by 6
Propositional Extension Rule with ReductionXia Wu, Minghao Yin, Jigui Sun et al.|Unknown|2006Cited by 5
An Extension Rule Based First-Order Theorem ProverXia Wu, Kun Hou, Jigui Sun|Lecture notes in computer science|2006Cited by 4