Klose/Lang/Pirlein (Hrsg.): Onthologie und Axiomatik der Wissensbasis von LILOG, 1992