Recent Developments in NIKL. - Thomas Kaczmarek; Raymond Bates; Gabriel Robins (AAAI, 1986)