Extending Unification in EL Towards General TBoxes.

Franz Baader, Stefan Borgwardt, Barbara Morawska

Browse the full KR paper archive.