Knowledge Interchange Format, version 3.0 Reference Manual - Genesereth, MR; Fikes, RE (Technical Report TRL 92-1, 1992)