Kazakov, Yevgeny Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
Kazakov, Y., & de Nivelle, H. (2003). Subsumption of Concepts in FL_0 for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. In 2003 International Workshop on Description Logics (DL-03) (pp. 56-64). Aachen, Germany: CEUR.