Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter. A Tour of Franz Baader's Contributions to Knowledge Representation and Automated Deduction. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, editors, Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. Volume 11560 of Lecture Notes in Computer Science, pages 1-14, Springer, 2019. [doi]
Abstract is missing.