%0 Conference Paper %1 conf/cade/SteigmillerGL14 %A Steigmiller, Andreas %A Glimm, Birte %A Liebig, Thorsten %B IJCAR %D 2014 %E Demri, Stéphane %E Kapur, Deepak %E Weidenbach, Christoph %I Springer %K dblp %P 449-463 %T Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#SteigmillerGL14 %V 8562 %@ 978-3-319-08586-9

@inproceedings{conf/cade/SteigmillerGL14, added-at = {2017-05-21T00:00:00.000+0200}, author = {Steigmiller, Andreas and Glimm, Birte and Liebig, Thorsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/229e7215096464baa0e6abc8f757d257c/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2014}, editor = {Demri, Stéphane and Kapur, Deepak and Weidenbach, Christoph}, ee = {https://doi.org/10.1007/978-3-319-08587-6_35}, interhash = {4eadf140f7a171859c658a9f6b17efa8}, intrahash = {29e7215096464baa0e6abc8f757d257c}, isbn = {978-3-319-08586-9}, keywords = {dblp}, pages = {449-463}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:38:40.000+0200}, title = {Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2014.html#SteigmillerGL14}, volume = 8562, year = 2014 }