Computer proofs of limit theorems (1972)

by W W Bledsoe, R S Boyer, W H Henneman
Venue:Artificial Intelligence