@InProceedings{BieLutWol-DL12, author = {Meghyn Bienvenu and Carsten Lutz and Frank Wolter}, title = {Deciding FO-Rewritability in $\mathcal{EL}$}, booktitle = {Proceedings of the 25th International Workshop on Description Logics ({DL2012})}, year = {2012} }