%0 Conference Paper %1 conf/birthday/0001W19 %A Baumgartner, Peter %A Waldmann, Uwe %B Description Logic, Theory Combination, and All That %D 2019 %E Lutz, Carsten %E Sattler, Uli %E Tinelli, Cesare %E Turhan, Anni-Yasmin %E Wolter, Frank %I Springer %K dblp %P 15-56 %T Hierarchic Superposition Revisited. %U http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#0001W19 %V 11560 %@ 978-3-030-22102-7

@inproceedings{conf/birthday/0001W19, added-at = {2019-06-25T00:00:00.000+0200}, author = {Baumgartner, Peter and Waldmann, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/26fbbf88d0d5bb85f78186888611773ad/dblp}, booktitle = {Description Logic, Theory Combination, and All That}, crossref = {conf/birthday/2019baader}, editor = {Lutz, Carsten and Sattler, Uli and Tinelli, Cesare and Turhan, Anni-Yasmin and Wolter, Frank}, ee = {https://doi.org/10.1007/978-3-030-22102-7_2}, interhash = {76582613daab765ac7bde0bfc923135c}, intrahash = {6fbbf88d0d5bb85f78186888611773ad}, isbn = {978-3-030-22102-7}, keywords = {dblp}, pages = {15-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-07-30T11:48:29.000+0200}, title = {Hierarchic Superposition Revisited.}, url = {http://dblp.uni-trier.de/db/conf/birthday/baader2019.html#0001W19}, volume = 11560, year = 2019 }