A Mini-Description of the ITL System

Nicola Guarino. A Mini-Description of the ITL System. In Harold Boley, Michael M. Richter, editors, Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Volume 567 of Lecture Notes in Computer Science, pages 408-410, Springer, 1991.

Abstract

Abstract is missing.