An Extension Rule Based First-Order Theorem ProverXia Wu, Kun Hou, Jigui Sun|Lecture notes in computer science|2006Cited by 4