@InProceedings{W34,
  key    =       {W34},
  author = 	 {Marvin Schiller and Christoph Benzm{\"u}ller and Ann van de Veire},
  title = 	 {Judging Granularity for Automated Mathematics Teaching},
  booktitle = 	 {Short papers at LPAR 2006: 13th International Conference on Logic for
Programming Artificial Intelligence and Reasoning},
  year =	 2006,
  address =	 {Pnom Penh, Cambodia},
  chrisnote =	 {W34}
}