Computer Proofs of Limit Theorems.

W. W. Bledsoe, Robert S. Boyer, William H. Henneman

Browse the full IJCAI paper archive.