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

by Michael P Genesereth, Richard E Fikes