Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Benanav, D. (1992). Recognizing Unnecessary Clauses in Resolution Based Systems. Journal of Automated Reasoning
9, 43–76.
2. Bolc, L. and Borowik, P. (1992). Many-Valued Logics 1. Theoretical Foundations. Springer-Verlag.
3. Chang, C. and Lee, R. (1973). Symbolic Logic and Mechanical Theorem Proving, Academic Press.
4. Eisinger, N. and Ohlbach, H.J. (1993). Deductive Systems Based on Resolution. In D.M. Gabbay, C.J. Hogger, and J.A. Robinson (editors), Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 1, Clarendon Press.
5. Harley, E. and Stachniak, Z. (1993). Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics, in Proceedings of the Twenty-Third International Symposium on Multiple-Valued Logic, Sacramento, 54–59.