%0 Conference Paper %1 conf/icfca/BaaderD09 %A Baader, Franz %A Distel, Felix %B ICFCA %D 2009 %E Ferré, Sébastien %E Rudolph, Sebastian %I Springer %K %P 146-161 %T Exploring Finite Models in the Description Logic . %U http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderD09 %V 5548 %@ 978-3-642-01814-5

@inproceedings{conf/icfca/BaaderD09, added-at = {2023-12-13T10:12:28.000+0100}, author = {Baader, Franz and Distel, Felix}, biburl = {https://www.bibsonomy.org/bibtex/2578417457dc235d389b94c10a37b55d3/admin}, booktitle = {ICFCA}, crossref = {conf/icfca/2009}, editor = {Ferré, Sébastien and Rudolph, Sebastian}, ee = {https://doi.org/10.1007/978-3-642-01815-2_12}, interhash = {d5ba2f6aa48003f3e37d9931485b1c79}, intrahash = {578417457dc235d389b94c10a37b55d3}, isbn = {978-3-642-01814-5}, keywords = {}, pages = {146-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:12:28.000+0100}, title = {Exploring Finite Models in the Description Logic .}, url = {http://dblp.uni-trier.de/db/conf/icfca/icfca2009.html#BaaderD09}, volume = 5548, year = 2009 }