Gelperin, D. H. (1973). Clause deletion in resolution theorem proving.
Chicago Style (17th ed.) CitationGelperin, David Hausmann. Clause Deletion in Resolution Theorem Proving. 1973.
MLA (9th ed.) CitationGelperin, David Hausmann. Clause Deletion in Resolution Theorem Proving. 1973.
Warning: These citations may not always be 100% accurate.