%0 Conference Paper %1 conf/icfca/BaaderD08 %A Baader, Franz %A Distel, Felix %B ICFCA %D 2008 %E Medina, Raoul %E Obiedkov, Sergei A. %I Springer %K %P 46-61 %T A Finite Basis for the Set of EL-Implications Holding in a Finite Model. %U http://dblp.uni-trier.de/db/conf/icfca/icfca2008.html#BaaderD08 %V 4933 %@ 978-3-540-78136-3

@inproceedings{conf/icfca/BaaderD08, added-at = {2023-12-13T09:54:09.000+0100}, author = {Baader, Franz and Distel, Felix}, biburl = {https://www.bibsonomy.org/bibtex/21ccae4e2e1a9b1b8e1f55c5665aa2bb1/admin}, booktitle = {ICFCA}, crossref = {conf/icfca/2008}, editor = {Medina, Raoul and Obiedkov, Sergei A.}, ee = {https://doi.org/10.1007/978-3-540-78137-0_4}, interhash = {d2b5df77f2b0b04383f88d2ef91803dd}, intrahash = {1ccae4e2e1a9b1b8e1f55c5665aa2bb1}, isbn = {978-3-540-78136-3}, keywords = {}, pages = {46-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:54:09.000+0100}, title = {A Finite Basis for the Set of EL-Implications Holding in a Finite Model.}, url = {http://dblp.uni-trier.de/db/conf/icfca/icfca2008.html#BaaderD08}, volume = 4933, year = 2008 }