@proceedings{KlebanovBBS12,
editor = {Vladimir Klebanov and Bernhard Beckert and Armin Biere and Geoff Sutcliffe},
title = {1st International Workshop on
Comparative Empirical Evaluation of Reasoning Systems ({COMPARE} 2012)},
venue = {Manchester, {UK}},
eventdate = {2012-06-30/2012-06-30},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {873},
year = {2012},
url = {http://ceur-ws.org/Vol-873}
}