15 Years of Consequence−Based Reasoning
David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks
Book Title
Description Logic‚ Theory Combination‚ and All That − Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editor
Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni−Yasmin Turhan and Frank Wolter
Pages
573–587
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
11560
Year
2019