Carsten Lutz, Inanç Seylan, Frank Wolter. An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]
@inproceedings{LutzSW12,
title = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL},
author = {Carsten Lutz and Inanç Seylan and Frank Wolter},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4511},
researchr = {https://researchr.org/publication/LutzSW12},
cites = {0},
citedby = {0},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012},
editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
publisher = {AAAI Press},
isbn = {978-1-57735-560-1},
}