@inproceedings{Schlobach04,
title = {Explaining Subsumption by Optimal Interpolation.},
author = {Stefan Schlobach},
booktitle = {JELIA},
crossref = {Jelia2004},
editor = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite},
pages = {413--425},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/jelia/jelia2004.html\#Schlobach04},
volume = {3229},
year = {2004},
description = {dblp},
bibsource = {DBLP, http://dblp.uni-trier.de}, date = {2004-09-13}, ee = {http://springerlink.metapress.com/openurl.asp?genre=article\&issn=0302-9743\&volume=3229\&spage=413}, isbn = {3-540-23242-7},
keywords = {DLs debugging impresso }
}
::