@inProceedings{
 title = {Five general properties of resolution},
 type = {inProceedings},
 year = {2014},
 identifiers = {[object Object]},
 pages = {40-47},
 volume = {1273},
 publisher = {CEUR-WS.org},
 city = {Vienna, Austria},
 editors = {[object Object],[object Object],[object Object],[object Object]},
 id = {1fa65a1f-7065-334a-b73a-a4cbc5cf7d88},
 created = {2014-07-04T16:59:28.000Z},
 file_attached = {false},
 profile_id = {62ef64b7-8597-3695-a732-f1a1044023fa},
 last_modified = {2017-03-15T12:34:24.529Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 citation_key = {degbelo2014five},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Degbelo, Auriol and Kuhn, Werner},
 booktitle = {CEUR Workshop Proceedings}
}