%0 Conference Paper %1 Baa08 %A Baader, Franz %A Distel, Felix %B ICFCA %D 2008 %E Medina, Raoul %E Obiedkov, Sergei A. %I Springer %K AttributeExploration DescriptionLogics %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

@inproceedings{Baa08, added-at = {2010-01-07T20:30:50.000+0100}, author = {Baader, Franz and Distel, Felix}, biburl = {https://www.bibsonomy.org/bibtex/21ccae4e2e1a9b1b8e1f55c5665aa2bb1/jwollbold}, booktitle = {ICFCA}, description = {dblp}, editor = {Medina, Raoul and Obiedkov, Sergei A.}, interhash = {d2b5df77f2b0b04383f88d2ef91803dd}, intrahash = {1ccae4e2e1a9b1b8e1f55c5665aa2bb1}, keywords = {AttributeExploration DescriptionLogics}, pages = {46-61}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-01-07T20:30:51.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 }