et al.: Knowledge interchange format-version 3.0: reference manual (1992)

by M Genesereth, R Fikes