Richard Fateman wrote:
>
> I see there is a bug in the bibliographic reference to korsvold
> in http://www.cs.berkeley.edu/~fateman/papers/simplifier.txt.
> It lists Stanford AI memo #37, but dates it as 1985.
> It clearly was not 1985, since that would have required time
> travel. Maybe 1965?
>
> RJF
Prompted by my own remark,
I found another reference to Korsvold, with the proper data 1965,
and so I fixed it in there. The 1985 was, I am guessing, an OCR
error. Revising history was never easier:)
The ACM digital library portal credits a report on this
to SIGSAC, a special interest group on security audit and control.
No doubt that didn't exist in 1966, and it is either a misprint for
SIGSAM, or possibly SIGSAM was called SIGSAC then. (seems unlikely).
a bibtex reference to a report on the memo..
@inproceedings{807963,
author = {Knut Korsvold},
title = {An on line program for non-numerical algebra},
booktitle = {Proceedings of the ACM symposium on Symbolic and
algebraic manipulation},
year = {1966},
pages = {1301--1314},
}
Rjf