Recent Advances in Unification for the EL Family.

Franz Baader, Stefan Borgwardt, Barbara Morawska

Browse the full CADE paper archive.