A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity (bibtex)
by Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
Reference:
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity (Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth), In Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers (Michael Kohlhase, ed.), Springer, LNCS, volume 3863, pp. 126-142, 2006. (Preprint: http://christoph-benzmueller.de/papers/C19.pdf)
Bibtex Entry:
@inproceedings{C19,
  Author =	 {Serge Autexier and Christoph Benzm{\"u}ller and
                  Dominik Dietrich and Andreas Meier and Claus-Peter
                  Wirth},
  Booktitle =	 {Mathematical Knowledge Management, 4th International
                  Conference, MKM 2005, Bremen, Germany, July 15-17,
                  2005, Revised Selected Papers},
  Doi =		 {10.1007/11618027_9},
  Editor =	 {Michael Kohlhase},
  Keywords =	 {own, DIALOG, Proof Presentation, Proof Assistants,
                  OMEGA},
  Pages =	 {126-142},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {A Generic Modular Data Structure for Proof Attempts
                  Alternating on Ideas and Granularity},
  Note =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/C19.pdf}},
  Volume =	 3863,
  Year =	 2006,
}