%0 Book Section %1 Baader2020-jx %A Baader, Franz %A Rydval, Jakub %B Automated Reasoning %C Cham %D 2020 %I Springer International Publishing %K %P 413--431 %T Description logics with concrete domains and general concept inclusions revisited

@incollection{Baader2020-jx, added-at = {2024-09-10T11:56:37.000+0200}, address = {Cham}, author = {Baader, Franz and Rydval, Jakub}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2195592f7132b89322ef0213b5a6428e9/scadsfct}, booktitle = {Automated Reasoning}, interhash = {c18c21dc104865d0cdefc67a927ede4d}, intrahash = {195592f7132b89322ef0213b5a6428e9}, keywords = {}, pages = {413--431}, publisher = {Springer International Publishing}, series = {Lecture notes in computer science}, timestamp = {2024-09-10T15:15:57.000+0200}, title = {Description logics with concrete domains and general concept inclusions revisited}, year = 2020 }