https://123dok.net/document/zgw9kovy-on-the-closure-of-description-logics-under-substitutions.html