@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"
}