Lenat, D.B.; and Guha, R.V. "Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project", Addison-Wesley, 1990

Languages mentioned

• CYCL {1988} Frame language for CYC