Die gezeigten Posts sind eventuell nicht akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch akkurate Posts mit eingeschränkten Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
D. Tsarkov, und I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Volume 4130 von Lecture Notes in Artificial Intelligence, Seite 292--297. Springer, (2006)