Theorem Proving Based on the Extension Rule.

Lin Hai Jigui Sun Zhang Yimin Theorem Proving Based on the Extension Rule. 11-21 2003 31 J. Autom. Reasoning 1 http://dx.doi.org/10.1023/A:1027339205632 db/journals/jar/jar31.html#HaiSY03