F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228--248. Springer, (2005)
F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228-248. Springer, (2005)