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.
B. Motik, und U. Sattler. Proc. of the 13th Int. Conf. on Logic for Programming Artificial
Intelligence and Reasoning (LPAR 2006), Volume 4246 von LNCS, Seite 227-241. Phnom Penh, Cambodia, Springer, (November 2006)