DMCA

KIT REPORT 91 A Correspondence Theory for Terminological Logics � Preliminary Report (1991)

by Klaus Schild , Technische Universit�at Berlin