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.
N. Friedman, und J. Halpern. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR '94), Seite 202--213. Morgan Kaufmann, (1994)
L., G. V., und P. Giordano. Proceedings of TABLEAUX 2007 (16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), Volume 4548 von LNAI, Seite 238--244. Aix En Provence, France, Springer-Verlag, (Juli 2007)