Steffen Hölldobler. E -Matchers?. 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 367-384, Springer, 2019. [doi]
Abstract is missing.