@techreport{KazNiv:03:SubsumptionFLzero:TR,
  title = "Subsumption of concepts in $DL$ $\mathcal{FL}_0$ for (cyclic) terminologies with respect to descriptive semantics is {PSPACE}-complete",
  author = "Yevgeny  Kazakov and Hans de Nivelle",
  year = "2003",
  address = "Stuhlsatzenhausweg 85, 66123 Saarbr{\"u}cken, Germany",
  institution = "Max-Planck-Institut f{\"u}r Informatik",
  issn = "0946-011X",
  month = "April",
  number = "MPI-I-2003-2-003",
}