A Finite Basis for the Set of EL-Implications Holding in a Finite Model.

Franz Baader, Felix Distel

Browse the full ICFCA paper archive.