Computer Proofs of Limit Theorems. - W. W. Bledsoe; Robert S. Boyer; William H. Henneman (Artif. Intell., 1972)