DMCA
Hybrid Unification in the Description Logic EL (2013)
by
Technische Universität Dresden
,
Franz Baader
,
Oliver Fernández
,
Gil Barbara Morawska
,
Lehrstuhl Für Automatentheorie
,
Tu Dresden
,
Nöthnitzer Str
,
Franz Baader
,
Oliver Fernández Gil