Guarino, Nicola "A concise presentation of ITL" pp61-69

(1991) ACM SIGART Bulletin 2(3) June 1991 Special issue on implemented knowledge representation and reasoning systems  

Languages mentioned ITL {1991}