https://123dok.org/document/q7wx84jd-automata-can-show-pspace-results-for-description-logics.html