1. Chang, C.C., Lee, R.C.T.: Symbolic logic and mechanical theorem proving. Academic Press, San Diego (1973)
2. Duffy, D.: Principles of automated theorem proving. John Wiley & Sons, Chichester (1991)
3. Fitting, M.: First-order logic and automated theorem proving. Springer, New York (1990)
4. Kowalski, R.: Studies in completeness and efficiency of theorem proving by resolution. Ph.D. thesis, University of Edingburgh (1970)
5. Lecture Notes in Computer Science;H. Noll,1980