@InProceedings{W33,
  key    =       {W33},
  author = 	 {Marvin Schiller and Christoph Benzm{\"u}ller},
  title = 	 {Granularity Judgments in Proof Tutoring},
  booktitle = 	 {Poster papers at KI 2006: Advances in Artificial Intelligence: 29th Annual
German Conference on AI},
  year =	 2006,
  address =	 {Bremen, Germany},
  chrisnote =	 {W33}
}