% Encoding: ISO8859_1

@TECHREPORT{BaaDi08,
  author = {Franz Baader and Felix Distel},
  title = {Exploring finite models in the Description Logic {$\mathcal{EL}_\mathrm{gfp}$}},
  institution = {Institute for Theoretical Computer Science, TU Dresden},
  year = {2008},
  type = {LTCS-Report},
  number = {08-05},
  address = {Dresden},
  note = {See http://lat.inf.tu-dresden.de/research/reports.html.},
}