Paper  Website  bibtex   

@inProceedings{
 title = {Explaining Subsumption by Optimal Interpolation},
 type = {inProceedings},
 year = {2004},
 websites = {http://www.few.vu.nl/~schlobac/jelia04.pdf},
 publisher = {Springer},
 series = {LNAI},
 id = {93859c0a-263b-3946-b743-b2a776d33d88},
 created = {2011-04-14T07:13:43.000Z},
 file_attached = {true},
 profile_id = {c2c141a8-dd77-3ffc-8384-2be09575bf16},
 group_id = {7fc8fad4-ddf6-3b48-b39c-c05d75ba7135},
 last_modified = {2017-03-14T10:16:57.191Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {schlobach:jelia04},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Schlobach, Stefan},
 booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04)}
}