@inproceedings{KazKroSim:11:Unchain:DL,
  title = "Unchain My {EL} Reasoner",
  author = "Yevgeny Kazakov and Markus Krötzsch and Frantisek Simancik",
  year = "2011",
  booktitle = "Description Logics",
  editor = "Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev",
  publisher = "CEUR-WS.org",
  series = "CEUR Workshop Proceedings",
  url = "http://ceur-ws.org/Vol-745/paper_54.pdf",
  volume = "745",
  doi = "http://ceur-ws.org/Vol-745/paper_54.pdf",
}