Org.). Terminological logic users workshop -- Proceedings (1991)

by C Peltason, K v Luck, C Kindermann