Martin Buchheit Werner Nutt Francesco M. Donini Andrea Schaerf Refining the Structure of Terminological Systems: Terminology = Schema + Views. 199-204 1994 AAAI db/conf/aaai/aaai94-1.html#BuchheitNDS94