@INPROCEEDINGS{KoopmannSchmidt14a,
AUTHOR = {Koopmann, P. and Schmidt, R. A.},
YEAR = {2014},
TITLE = {Count and Forget: Uniform Interpolation of SHQ-Ontologies},
EDITOR = {S. Demri and D. Kapur and C. Weidenbach},
BOOKTITLE = {Automated Reasoning (IJCAR 2014)},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {8562},
PUBLISHER = {Springer},
PAGES = {434--448},
DOI = {10.1007/978-3-319-08587-6_34},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/KoopmannSchmidt14a.html}},
}