Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition Revisited, 2019. [ bib | http | Abstract ]

 

Peter Baumgartner and Uwe Waldmann.
Hierarchic Superposition Revisited.
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, editors, Description Logic, Theory Combination, and All That, volume 11560 of LNCS, pages 15--56. Springer, 2019.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | http | Abstract ]