Douglas B. Lenat and R. V. Guha "The evolution of CycL, the Cyc representation language" pp84-87

(1991) ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems  

Languages mentioned CYCL {1988} Frame language for CYC