H. W. Egdorf "A CLOS Implementation on top of KEE" Los Alamos National Laboratory October 11, 1990

(1990)

Languages mentioned