A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity<pre>@inproceedings{ABDMW-05-a,
  author        = {Serge Autexier and Christoph Benzm\"uller and Dominik Dietrich and Andreas Meier and Claus-Peter Wirth},
  editor        = {Kohlhase, Michael},
  booktitle     = {Proceedings of MKM'05},
  title         = {A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity},
  volume        = {3863},
  series        = {LNAI},
  publisher     = {Springer},
  address       = {IUB Bremen, Germany},
  month         = {january},
  year          = {2006},
}
</pre>