Browse wiki

@inproceedings{KKS11:unchainel,
    author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
                 Franti\v{s}ek Siman\v{c}\'{i}k},
    title     = {Unchain My $\mathcal{EL}$ Reasoner},
    booktitle = {Proceedings of the 24th International Workshop
                 on Description Logics (DL'11)},
    editors   = {Riccardo Rosati and Sebastian Rudolph and
                 Michael Zakharyaschev},
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    volume    = {745},
    year      = {2011}
}