Kowalski, R. (1970). Studies in the completeness and efficiency of theoremproving by resolution.
Chicago Style (17th ed.) CitationKowalski, Robert. Studies in the Completeness and Efficiency of Theoremproving by Resolution. 1970.
MLA (9th ed.) CitationKowalski, Robert. Studies in the Completeness and Efficiency of Theoremproving by Resolution. 1970.
Warning: These citations may not always be 100% accurate.