Practical uniform interpolation for expressive description logics

Cite this paper

@inproceedings{Koopmann2015PracticalUI, title={Practical uniform interpolation for expressive description logics}, author={Patrick Koopmann}, year={2015} }