Translating KL-One from Interlisp to FranzLisp History Bibliography Translating KL-One from Interlisp to FranzLisp Authors: Finin, Tim Item type: Paper-Conference