@InProceedings{C30,
  key =		 {C30},
  author =	 {Marvin Schiller and Christoph Benzm{\"u}ller},
  title =	 {Granularity-Adaptive Proof Presentation},
  booktitle = {Artificial Intelligence in Education: Building Learning
               Systems that Care: From Knowledge Representation to Affective
               Modelling, Proceedings of the 14th International Conference
               on Artificial Intelligence in Education, AIED 2009, July
               6-10, 2009, Brighton, UK},
  publisher = {IOS Press},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {200},
  year      = {2009},
  isbn      = {978-1-60750-028-5},
  pages = {599-601},
}