Studies in the completeness and efficiency of theoremproving by resolution - Kowalski, Robert 1941- (1970)