Compter Proofs of Limit Theorems (1972)

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