Automatic Proofs of Theorems in Analysis Using Nonstandard Analysis (1977)

by A M Ballantyne, W W Bledsoe
Venue:J. of the Association of Computing Machinery