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,
}