@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       = {https://ceur-ws.org/Vol-873}
}