H. W. Egdorf "A CLOS Implementation on top of KEE" Los Alamos National Laboratory October 11, 1990
(1990)
Languages mentioned
KEE CLOS
{1990}