@inproceedings{Kazakov:03:SubsumptionFLzero,
  title = "Subsumption of Concepts in {$\mathcal{FL}_0$} for (Cyclic) Terminologies with Respect to Descriptive Semantics is {PSPACE}-complete.",
  author = "Yevgeny Kazakov and Hans de Nivelle",
  year = "2003",
  booktitle = "Description Logics",
  series = "CEUR Workshop Proceedings",
  url = "http://SunSITE.Informatik.RWTH-Aachen.de/Publications/CEUR-WS/Vol-81/kazakov.pdf",
  volume = "81",
}