Publisher
Springer Nature Singapore
Reference19 articles.
1. Liu, X.: Automatic Reasoning Based on Reduction Method. Science Press, Beijing (1994)
2. Robinson, J.A.: A machine-oriented logic based on the resolution principle. Journal of the ACM (JACM) 12(1), 23–41 (1965)
3. Slagle, J.R.: Automatic theorem proving with renamable and semantic resolution. Journal of the ACM (JACM) 14(4), 687–697 (1967)
4. Loveland, D.W.: A linear format for resolution. In: Laudet, M., Lacombe, D., Nolin, L., Schützenberger, M. (eds.) Symposium on Automatic Demonstration. Lecture Notes in Mathematics, vol 125. Springer, Berlin, Heidelberg (1970)
5. Xu, Y., Liu, J., Chen, S., et al.: Contradiction separation based dynamic multi-clause synergized automated deduction. Inf. Sci. 462, 93–113 (2018)