Mark J. Kimber

• A frame based system in LOGIC