@techreport{ Dist07,
    author =       {Franz Baader and Felix Distel},
    title =        {A finite basis for the set of {EL}-implications holding in a finite model},
    number =       {07-02},
    year =         {2007},
    institution =  {Inst.\ f{\"u}r Theoretische Informatik, TU Dresden},
    address =      {Dresden, Germany} 
}