%0 Conference Paper %1 conf/aiml/BaaderBM12 %A Baader, Franz %A Borgwardt, Stefan %A Morawska, Barbara %B Advances in Modal Logic %D 2012 %E Bolander, Thomas %E Braüner, Torben %E Ghilardi, Silvio %E Moss, Lawrence S. %I College Publications %K dblp %P 18-35 %T Computing Minimal EL-unifiers is Hard. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#BaaderBM12 %@ 978-1-84890-068-4

@inproceedings{conf/aiml/BaaderBM12, added-at = {2013-02-14T00:00:00.000+0100}, author = {Baader, Franz and Borgwardt, Stefan and Morawska, Barbara}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a96def4f0cb039b629bf5c7a2c74906e/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2012}, editor = {Bolander, Thomas and Braüner, Torben and Ghilardi, Silvio and Moss, Lawrence S.}, ee = {http://www.aiml.net/volumes/volume9/Baader-Borgwardt-Morawska.pdf}, interhash = {126f229c4d55158f4a5ef12232c7902c}, intrahash = {a96def4f0cb039b629bf5c7a2c74906e}, isbn = {978-1-84890-068-4}, keywords = {dblp}, pages = {18-35}, publisher = {College Publications}, timestamp = {2016-02-02T16:34:24.000+0100}, title = {Computing Minimal EL-unifiers is Hard.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#BaaderBM12}, year = 2012 }