Guarino, Nicola "A Mini-Description of the ITL System" Proceedings of the International Workshop on Processing Declarative Knowledge July 1991
(1991)
Languages mentioned
ITL
{1991}