Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lin, H., Sun, J.G., Zhang, Y.M.: Theorem proving based on extension rule. Journal of Automated Reasoning 31, 11–21 (2003)
2. Wu, X., Sun, J.G., Lu, S., Yin, M.H.: Propositional extension rule with reduction. International Journal of Computer Science and Network Security 6, 190–195 (2006)
3. Lecture Notes in Computer Science;X. Wu,2006
4. Wu, X., Sun, J.G., Hou, K.: Extension rule in first order logic. In: Proceeding of 5th International Conference on Cognitive Informatics (ICCI 2006), Beijing, China (to appear, 2006)
5. Chu, H., Plaisted, D.A.: Semantically Guided First-Order Theorem Proving Using Hyper-Linking. In: Proceeding of 12th Conference on Automated Deduction, Nancy, France, pp. 192–206 (1994)