M. R. Genesereth

Knowledge Interchange Format Version 3.0 Reference Manual

M. R. Genesereth, V. Lifschitz, D. Bobrow, 1992, LICS 1992.

The difficulties of using MACSYMA and the function of user aids

M. R. Genesereth, 1977 .