%0 Conference Paper %1 DBLP:conf/ijcar/BaaderG24 %A Baader, Franz %A Gil, Oliver Fernández %B IJCAR (2) %D 2024 %K imported xack %P 279-297 %T Unification in the Description LogicWithout the Top Concept Modulo Cycle-Restricted Ontologies %U https://doi.org/10.1007/978-3-031-63501-4_15

@inproceedings{DBLP:conf/ijcar/BaaderG24, added-at = {2024-12-16T10:52:57.000+0100}, author = {Baader, Franz and Gil, Oliver Fernández}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/241bb8f88fd18dea205e0a85ec3c973e2/scadsfct}, booktitle = {IJCAR (2)}, cdate = {1704067200000}, crossref = {conf/ijcar/2024-2}, interhash = {47dfda3a1f2db07fe78660a63b0ba034}, intrahash = {41bb8f88fd18dea205e0a85ec3c973e2}, keywords = {imported xack}, pages = {279-297}, timestamp = {2025-02-13T15:13:43.000+0100}, title = {Unification in the Description LogicWithout the Top Concept Modulo Cycle-Restricted Ontologies}, url = {https://doi.org/10.1007/978-3-031-63501-4_15}, year = 2024 }