@InProceedings{W38,
  key = {W38},
  author = 	 {Marvin Schiller and Dominik Dietrich and Christoph Benzm{\"u}ller},
  title = 	 {Towards Computer-Assisted Proof Tutoring},
  booktitle = {JEM Workshop on identifying and supporting (scientific) communities in education and research},
  year = 	 2007,
  address = 	 {Jacobs University Bremen, Germany}
}