F. C. Oglesby
J. R. Guad, F. C. Oglesby, J. H. Bennett, and L. G. Settle.
Semi-automated mathematics.
Journal of the ACM
, 16(1):49-62, January 1969.
Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database