Theorem Proving Based on the Extension Rule. - Hai Lin 008; Jigui Sun; Yimin Zhang 005 (J. Autom. Reason., 2003)