@inproceedings{csedu2009,
  added-at = {2009-03-08T21:12:40.000+0100},
  author = {Schiller, Marvin and Benzm\"{u}ller, Christoph},
  biburl = {http://www.bibsonomy.org/bibtex/2ea4b592b9dba6ed267ac90726d5a8c56/marvinschiller},
  booktitle = {Proc. Computer Science in Education (CSEDU)},
  interhash = {d81725c2554efdbb03fb70b232894c0f},
  intrahash = {ea4b592b9dba6ed267ac90726d5a8c56},
  keywords = {imported},
  publisher = {INSTICC Press},
  timestamp = {2009-03-08T21:12:40.000+0100},
  title = {Proof Granularity as an Empirical Problem?},
  year = 2009
}