@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)}
}

{"_id":"i5Wk8FHMbD9YsCkmL","bibbaseid":"schlobach-explainingsubsumptionbyoptimalinterpolation-2004","downloads":0,"creationDate":"2015-10-21T11:54:41.930Z","title":"Explaining Subsumption by Optimal Interpolation","author_short":["Schlobach, S."],"year":2004,"bibtype":"inProceedings","biburl":null,"bibdata":{"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)","bibtex":"@inProceedings{\n title = {Explaining Subsumption by Optimal Interpolation},\n type = {inProceedings},\n year = {2004},\n websites = {http://www.few.vu.nl/~schlobac/jelia04.pdf},\n publisher = {Springer},\n series = {LNAI},\n id = {93859c0a-263b-3946-b743-b2a776d33d88},\n created = {2011-04-14T07:13:43.000Z},\n file_attached = {true},\n profile_id = {c2c141a8-dd77-3ffc-8384-2be09575bf16},\n group_id = {7fc8fad4-ddf6-3b48-b39c-c05d75ba7135},\n last_modified = {2017-03-14T10:16:57.191Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {schlobach:jelia04},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Schlobach, Stefan},\n booktitle = {Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA '04)}\n}","author_short":["Schlobach, S."],"urls":{"Paper":"http://bibbase.org/service/mendeley/afa59a00-ec0f-3f21-b196-b3e7b3d7ed82/file/682d91cb-ddc5-6331-06c0-562526427436/2004-Explaining_Subsumption_by_Optimal_Interpolation.pdf.pdf","Website":"http://www.few.vu.nl/~schlobac/jelia04.pdf"},"bibbaseid":"schlobach-explainingsubsumptionbyoptimalinterpolation-2004","role":"author","downloads":0},"search_terms":["explaining","subsumption","optimal","interpolation","schlobach"],"keywords":[],"authorIDs":[]}