@InProceedings{C31,
  key =		 {C31},
  author =	 {Marvin Schiller and Christoph Benzm{\"u}ller},
  editor    = {B{\"a}rbel Mertsching and
               Marcus Hund and
               Muhammad Zaheer Aziz},
  title =	 {Presenting Proofs with Adapted Granularity},
  booktitle =	 {KI 2009: Advances in Artificial Intelligence, 32nd Annual
               German Conference on AI, Paderborn, Germany, September 15-18,
               2009. Proceedings},
  address =	 {Paderborn, Germany},
  publisher =	 {Springer},
  pages     = {289-297},
  series =	 {LNAI},
 volume    = {5803},
  isbn      = {978-3-642-04616-2},
  year =	 2009,
}