...c1.
1996: In subsequent papers the notation ist(c,p) was used.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

John McCarthy
Mon Jun 26 17:50:09 PDT 2000