@InProceedings{C19,
  key =		 {C19},
  author =	 {Serge Autexier and Christoph Benzm{\"u}ller and
                  Dominik Dietrich and Andreas Meier and Claus-Peter
                  Wirth},
  editor =	 {Michael Kohlhase},
  title =	 {A Generic Modular Data Structure for Proof Attempts
                  Alternating on Ideas and Granularity},
  booktitle =	 {Mathematical Knowledge Management, 4th International
                  Conference, MKM 2005, Bremen, Germany, July 15-17,
                  2005, Revised Selected Papers},
  year =	 2006,
  volume =	 3863,
  pages =	 {126-142},
  series =	 {LNCS},
  publisher =	 {Springer},
  url =		 {www.ags.uni-sb.de/~chris/papers/C19.pdf},
  CHRISNOTE =	 {C19},
}