@Article{BBH72, Author = "Bledsoe, W.W. and Boyer, R.S. and Henneman, W.H.", Year = "1972", Title = "{Computer Proofs of Limit Theorems}", Journal = "Artificial Intelligence", Volume = "3", Pages = "27-60", Comment = "TPTPRef, proofs" }