@InProceedings{Translating_KL_One_from_interlisp_to_Franzlisp, author = "Tim Finin", title = "{Translating KL-One from interlisp to Franzlisp}", month = "June", year = "1982", pages = "106-114", booktitle = "Proceedings of the Second KL-One Workshop", publisher = "Bolt Beranek and Newman ", }