@techreport{seki09,
  added-at = {2009-03-08T21:10:44.000+0100},
  author = {Schiller, Marvin and Benzm\"{u}ller, Christoph},
  biburl = {http://www.bibsonomy.org/bibtex/2d309510865f7678bb897c3fb5e8b24f7/marvinschiller},
  institution = {SEKI Working-Paper},
  interhash = {2c25ae7cc0509365da05defd4f6d6667},
  intrahash = {d309510865f7678bb897c3fb5e8b24f7},
  keywords = {imported},
  number = {SWP-2009-01},
  timestamp = {2009-03-08T21:10:44.000+0100},
  title = {Granularity-Adaptive Proof Presentation},
  year = 2009
}