Five general properties of resolution. Degbelo, A. and Kuhn, W. In CEUR Workshop Proceedings, volume 1273, pages 40-47, 2014. CEUR-WS.org. bibtex @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}
}